@techreport{weko_30526_1,
   author	 = "梅村,晃広",
   title	 = "モナドに基づく代数仕様の書換え",
   year 	 = "1993",
   institution	 = "NTT基礎研究所",
   number	 = "97(1993-PRO-014)",
   month	 = "oct"
}