The cleanroom approach to quality software development: M. Dyer, John Wiley & Sons, Ltd, New York, 1992. ISBN 0-471-54823-5.