Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
Chicago-čujuhus (17. p.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
MLA-čujuhus (9. p.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.