Cleanroom Software Engineering: Theory and Practice. - Michael D. Deck; Philip A. Hausler (SEKE, 1990)