Cleanroom software engineering practices - Becker, Shirley A. , 1956-; Whittaker, James A (Idea Group Publishing, 1997)