Software validation, verification, testing, and documentation - Andriole, Stephen J. (Petrocelli Books, 1986)