Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Lua i Stíl Chicago (17ú heag.)Hoare, C., agus P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Lua MLA (9ú heag.)Hoare, C., agus P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.