Toward automatic program synthesis (1971)

by ZOHAR MANNA, RICHARD J WALDINGER
Venue:Communications of the ACM