R. A. Sprangler;Richard C. Linger
-;-
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering