An introduction to proving the correctness of programs

ACM Comput. Surv. , 8(3), 331–353

Publication date: November 14, 1976

S. Hantler, J. King