John C. Cherniavsky Samuel N. Kamin A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. 119-128 1979 26 J. ACM 1 http://doi.acm.org/10.1145/322108.322120 db/journals/jacm/jacm26.html#CherniavskyK79