@techreport{weko_30194_1,
   author	 = "菅原,佳菜 and 高橋,薫",
   title	 = "命題論理に基づいた並行システムの仕様記述",
   year 	 = "1998",
   institution	 = "仙台電波工業高等専門学校, 仙台電波工業高等専門学校",
   number	 = "30(1997-PRO-018)",
   month	 = "mar"
}