Toward automatic program synthesis (1971)

by Zohar Manna, Richard J Waldinger
Venue:Communications of the ACM