@techreport{weko_30588_1,
   author	 = "本田耕平 and 吉田展子",
   title	 = "並行計算のための簡約意味論について",
   year 	 = "1993",
   institution	 = "慶応義塾大学大学院計算機科学専攻, 慶応義塾大学大学院計算機科学専攻",
   number	 = "19(1992-PRO-011)",
   month	 = "mar"
}