Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Παραπομπή σε μορφή Chicago (17η εκδ.)Hoare, C., και P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Παραπομπή σε μορφή MLA (9th εκδ.)Hoare, C., και P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.