The correctness of programs (1969)

by Manna
Venue:J. Comput. System Sci