Consistent and Complementary Formal Theories of the Semantics of Programming Languages - Hoare, C; Lauer, P (1974)