Fundamentals Of Deductive Program Synthesis (1992)

by Zohar Manna, Richard Waldinger
Venue:IEEE Transactions on Software Engineering