@techreport{weko_22474_1,
   author	 = "鷲坂光一 and 井上,克郎 and 杉山,裕二 and 鳥居,宏次",
   title	 = "代数的記述に基づく抽象的順序機械の処理系の作成",
   year 	 = "1987",
   institution	 = "大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部",
   number	 = "11(1986-SE-052)",
   month	 = "feb"
}