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%.