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