@techreport{weko_35678_1,
   author	 = "朴炳昊 and 李殷碩 and 白鳥,則郎",
   title	 = "通信システムの形式的仕様記述言語の教育支援システムの設計",
   year 	 = "1995",
   institution	 = "東北大学電気通信研究所／情報科学研究科, 韓国成均館大学工科大学情報工学科, 東北大学電気通信研究所／情報科学研究科",
   number	 = "22(1994-DPS-069)",
   month	 = "mar"
}