@techreport{weko_22385_1,
   author	 = "小野,康一 and 河野,誠一 and 門倉,敏夫 and 深澤,良彰",
   title	 = "述語論理に基づく仕様から実行可能コードへの変換",
   year 	 = "1989",
   institution	 = "早稲田大学理工学部, 日本アイ・ビー・エム（株）, 早稲田大学理工学部, 早稲田大学理工学部",
   number	 = "11(1988-SE-064)",
   month	 = "feb"
}