An Axiomatic Basis for Computer Programming. CACti (1969)

by C A R Hoare