Consistent and complementary formal theories of the semantics of programming languages /
Hoare, Charles Antony Richard.
Lauer, Peter Ernst.
Newcastle upon Tyne :  University of Newcastle upon Tyne, Computing Laboratory, 
1973.