Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Chicago-Zitierstil (17. Ausg.)Hoare, C., und P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
MLA-Zitierstil (9. Ausg.)Hoare, C., und P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.