Zohar Manna, Richard Waldlnger. A Deductive Approach to 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 542-551, William Kaufmann, 1979.
@inproceedings{MannaW79-0, title = {A Deductive Approach to Program Synthesis}, author = {Zohar Manna and Richard Waldlnger}, year = {1979}, researchr = {https://researchr.org/publication/MannaW79-0}, cites = {0}, citedby = {0}, pages = {542-551}, booktitle = {Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes}, editor = {Bruce G. Buchanan}, publisher = {William Kaufmann}, isbn = {0-934613-47-8}, }