R.J.: Toward automatic program synthesis (1971)

by Z Manna, Waldinger
Venue:CACM