Software verification and validation : realistic project approaches - Deutsch, Michael S. (Prentice-Hall series in software engineering, 1982)