Cleanroom software engineering : technology and process - Prowell, Stacy J. (SEI series in software engineering, 1999)