Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Citação norma ChicagoHoare, C., and P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Citação norma MLAHoare, C., and 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.