A Deductive Approach to Program Synthesis (1980)

by Z Manna, R J Waldinger
Venue:ACM Transactions on Programming Languages and Systems