@techreport{weko_21920_1,
   author	 = "田村,直樹 and 中島,毅 and 柳生,理子 and 萩原,正敏",
   title	 = "オブジェクト指向仕様記述の実行・検証系 ：ROAD/EE",
   year 	 = "1995",
   institution	 = "三菱電機（株）情報システム研究所, 三菱電機（株）情報システム研究所, 三菱電機（株）情報システム研究所, 三菱電機（株）情報システム研究所",
   number	 = "11(1994-SE-102)",
   month	 = "jan"
}