@techreport{weko_21039_1,
   author	 = "向剣文 and 野田,夏子",
   title	 = "A Survey on Formal Specifications in Industry",
   year 	 = "2008",
   institution	 = "日本電気株式会社共通基盤ソフトウェア研究所, 日本電気株式会社共通基盤ソフトウェア研究所",
   number	 = "112(2008-SE-162)",
   month	 = "nov"
}