Synthesis: Dreams => programs (1979)

by Z Manna, R Waldinger
Venue:IEEE Transactions on Software Engineering