O'Donnell. A Critique of the Foundations of Hoare Style Programming Logics. no. 12, Association for Computing Machinery (ACM), Dec. 1982, doi:10.1145/358728.358748.