Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Cita Chicago (17th ed.)Hoare, C., i P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Cita MLA (9th ed.)Hoare, C., i P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Atenció: Aquestes cites poden no estar 100% correctes.