A deductive approach to program synthesis (1980)

by Zohar Manna, Richard Waldinger
Venue:ACM Transactions on Programming Language Systems