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