Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Čikaški stil citiranja (17. izdanje)Hoare, C., i P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
MLA način citiranja (9. izdanje)Hoare, C., i P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.