Toward Automatic Program Synthesis (1971)

by Z Manna, R J Waldinger
Venue:ACM Communications