@techreport{weko_31188_1,
   author	 = "高木,雄二 and 坂部,俊樹 and 稲垣,康善",
   title	 = "並行システムの代数的仕様記述法",
   year 	 = "1986",
   institution	 = "名古屋大学工学部, 三重大学工学部, 名古屋大学工学部",
   number	 = "83(1986-PRO-019)",
   month	 = "dec"
}