@techreport{weko_22776_1,
   author	 = "岡本吉晴 and 玉井哲雄 and 福永光一",
   title	 = "プログラムの検証例とその検討",
   year 	 = "1977",
   institution	 = "（株）三菱総合研究所, （株）三菱総合研究所, （株）三菱総合研究所",
   number	 = "30(1977-SE-004)",
   month	 = "nov"
}