Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
Cita Chicago (17th ed.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Cita MLA (9th ed.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Atenció: Aquestes cites poden no estar 100% correctes.