Consistent and Complementary Formal Theories of the Semantics of Programming Languages

C. A. R. Hoare Peter E. Lauer Consistent and Complementary Formal Theories of the Semantics of Programming Languages Acta Inf. 3 1974 135-153 db/journals/acta/acta3.html#HoareL74