Inductive methods for proving properties of programs (1973)

by Z Manna, S Ness, J Vuillemin
Venue:Comm. ACM