Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Citación estilo ChicagoHoare, C., and P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Cita MLAHoare, C., and P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Warning: These citations may not always be 100% accurate.