Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
芝加哥风格引文Hoare, C., 与 P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
MLA引文Hoare, C., 与 P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
警告：这些引文格式不一定是100％准确.