APA (7th ed.) Citation

Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.

Chicago Style (17th ed.) Citation

Hoare, C., and P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.

MLA (9th ed.) Citation

Hoare, 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.