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%.