Stavely, Allan M. Toward zero-defect programming / Alan M. Stavely. - Addison-Wesley 1999. 9060 Subjects--Topical Terms: Computer software - Quality control.Computer software - Verification. LC Class. No.: QA76.76 / Q35Sta.