Software verification and validation realistic project approaches Michael S. Deutsch. - Deutsch, Michael S. (Prentice-Hall, 1982)