Бейбер Р.Л. Программное обеспечение без ошибок : Приемы и секреты создания правильных программ / Р.Л.Бейбер, 1996. - 173 с. - Текст : непосредственный.