Michael D. Deck Philip A. Hausler Cleanroom Software Engineering: Theory and Practice. 71-77 1990 conf/seke/1990 SEKE db/conf/seke/seke1990.html#DeckH90