An Axiomatic Approach to Computer Programming (1969)

by CAR Hoare
Venue:Comm, of A.C.M