Consistent and Complementary Formal Theories of the Semantics of Programming Languages
Car Hoare, PE Lauer · Computing Laboratory Technical Report Series · 1973
This paper presents a comparative study of different methods for formal description of programming languages. These methods have been applied to a simple but realistically usable programming language; the more abstract definitions have been proved to be consistent relative to the more concrete ones.