@techreport{weko_22760_1,
   author	 = "謝章文",
   title	 = "論理的プログラム合成と構造的反証原理",
   year 	 = "1979",
   institution	 = "京都産大・計科研",
   number	 = "49(1978-SE-009)",
   month	 = "mar"
}