Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Chicago-referens (17:e uppl.)Hoare, C., och P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
MLA-referens (9:e uppl.)Hoare, C., och P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.