@techreport{weko_31306_1, author = "Ida,Masayuki and Utida,Satosi", title = "An Interpretation of the CommonLoops specification", year = "1985", institution = "Aoyama Gakuin University, Aoyama Gakuin University", number = "57(1985-PRO-035)", month = "dec" }