Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
MLA (9րդ խմբ.) ՄեջբերումHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.