Text this: Программное обеспечение без ошибок; Приемы и секреты создания правильных программ: пер. с англ.