The correctness of programs (1969)

by Z Manna
Venue:Journal of Computer and System Sciences