@techreport{weko_24354_1,
   author	 = "庄内亨 and 清水,嗣雄",
   title	 = "実行命令数に関する数学的帰納法と再帰帰納法による形式検証",
   year 	 = "1993",
   institution	 = "（株）日立製作所中央研究所, （株）日立製作所中央研究所",
   number	 = "6(1992-ARC-098)",
   month	 = "jan"
}