» Retrospective: An Axiomatic Basis for Computer Programming
C.A.R. Hoare revisits his past Communications article on the axiomatic approach to programming and uses it as a touchstone for the future.
