John C. Cherniavsky Samuel N. Kamin A Complete and Consistent Hoare Semantics for a Simple Programming Language. 1-9 1977 POPL db/conf/popl/popl77.html#CherniavskyK77 POPL/00001425.PDF