Richard C. Linger Cleanroom Software Engineering for Zero-Defect Software. 2-13 1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257575 db/conf/icse/icse93.html#Linger93