Cleanroom software engineering : technology and process - Prowell, Stacy J. (Addison-Wesley, 1999)