Toward zero-defect programming - Stavely, Allan M. (Massachusetts Addison-Wesley, 1999)