@techreport{weko_31056_1,
   author	 = "高山,幸秀",
   title	 = "構成的証明から冗長性の無いプログラム導出する証明論的手法",
   year 	 = "1988",
   institution	 = "（財）新世代コンピュータ技術開発機構",
   number	 = "76(1988-PRO-026)",
   month	 = "oct"
}