Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Citação do estilo Chicago (17ª ed.)Hoare, C., e P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Citação MLA (9ª ed.)Hoare, C., e P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.