Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Chicago Style (17. basım) AtıfHoare, C., ve P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
MLA (9th ed.) AtıfHoare, C., ve P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..