Программное обеспечение без ошибок; Приемы и секреты создания правильных программ: пер. с англ. - Бейбер Р. Л. Роберт Лоренс (Москва, Джон Уайли энд Санз, 1996)