@techreport{weko_22775_1,
   author	 = "謝章文",
   title	 = "Foundations of Logical Program Synthesis",
   year 	 = "1977",
   institution	 = "京都産業大学計算機科学研究所",
   number	 = "30(1977-SE-004)",
   month	 = "nov"
}