APA (7th ed.) մեջբերում

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

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

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

MLA (9րդ խմբ.) Մեջբերում

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

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.