Green, C. C.; Gabriei, R. P.; Kant, E.; Kedzierski, B.; McCune, B. P.; Phiiiips, J.; Tappei, S. and Westfoid, S. J. "Results in knowledge-based program synthesis," Proc. 6th Int. Joint Conf Artif Intell., Tokyo, Japan, Aug. 20-23, 1979.

Languages mentioned

• PHI {1979} KBS
• V {1981}