@techreport{weko_22762_1,
   author	 = "大村伸一 and 琴野実 and 馬渡幸夫 and 東本謙治 and 謝章文",
   title	 = "構造的反証原理に基づく論理的プログラム合成系・Pilot III",
   year 	 = "1979",
   institution	 = "京産大・理, 京産大・理, 京産大・理, 京産大・理, 京産大・計科研",
   number	 = "49(1978-SE-009)",
   month	 = "mar"
}