@techreport{weko_22681_1,
   author	 = "大槻繁 and 野木兼六 and 葉木洋一",
   title	 = "ソフトウェア仕様解析の一方法",
   year 	 = "1982",
   institution	 = "日立製作所（株）システム開発研究所, 日立製作所（株）システム開発研究所, 日立製作所（株）ソフトウェア工場",
   number	 = "48(1981-SE-022)",
   month	 = "feb"
}