An Axiomatic Basis for Computer Programming 1969 · C. A. R. Hoare Hoare presents an axiomatic framework for proving partial program correctness, then uses it to discuss proofs, language definition, documentation, and portability.