Fundamentals of deductive program synthesis (1992)

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