@techreport{weko_30492_1,
   author	 = "胡振江 and 岩崎,英哉 and 武市,正人",
   title	 = "Catamorphismに基づく関数プログラムの変換",
   year 	 = "1994",
   institution	 = "東京大学工学部計数工学科, 東京大学教育用計算機センター, 東京大学工学部計数工学科",
   number	 = "21(1993-PRO-016)",
   month	 = "mar"
}