@techreport{weko_30527_1,
   author	 = "カサブランカ,ファビオ and 村上,昌己 and 結縁祥治 and 稲垣,康善",
   title	 = "並行論理型言語の意味領域としてのガード付きストリーム：意味論的および構文的同値関係について",
   year 	 = "1993",
   institution	 = "名古屋大学工学部情報工学科, 岡山大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科",
   number	 = "97(1993-PRO-014)",
   month	 = "oct"
}