Synthesis: Dreams =⇒ programs (1979)

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