Cleanroom Software Engineering : Technology and Process - Prowell, Stacy.J (New York Addison-Wesley, 1998)