**C. A. R. Hoare**. An Axiomatic Basis for Computer Programming (pdf)

- Read a paper: An axiomatic basis for computer programming by Vivek Haldar
- Jean Yang on An Axiomatic Basis for Computer Programming
- Ryan Nichols on An Axiomatic Basis for Computer Programming
- Papers We Love
`n Diego - An Axiomatic Basis for Computer Programming presented by Valentin Robert`

**Yanov, Yu I**. Logical operator schemes**Igarashi, S**. An axiomatic approach to equivalence problems of algorithms with applications**de Bakker, J. W**. Axiomatics of simple assignment statements (pdf)**McCarthy, J**. Towards a mathematical theory of computation (ps)**Burstall, R**. Proving properties of programs by structural induction (pdf)**van Wijngaarden, A**. Numerical analysis as an independent science (springer)**Laski, J**. Sets and other types (acm)**Floyd, R. W**. Assigning meanings to programs (pdf)**Naur, P**. Proof of algorithms by general snapshots (springer)