@techreport{weko_30930_1,
   author	 = "村上,昌己",
   title	 = "無限プロセスを含むGHCプログラムの並列導出手続きに基づく操作的意味論",
   year 	 = "1989",
   institution	 = "富士通国際情報社会科学研究所",
   number	 = "107(1989-PRO-023)",
   month	 = "dec"
}