David R. Barstow. The Roles of Knowledge and Deduction in Program Synthesis. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 37-43, William Kaufmann, 1979.
Abstract is missing.