@techreport{weko_31078_1,
   author	 = "直井,徹 and 稲垣,康善",
   title	 = "連続動作代数と項書換え系の意味論への応用",
   year 	 = "1988",
   institution	 = "名古屋大学工学部電気系教室, 名古屋大学工学部電気系教室",
   number	 = "37(1988-PRO-025)",
   month	 = "may"
}