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% ճշգրիտ լինել.