Methodisches Testen von Programmen (The Art of software testing [Deutsch]) - Myers, Glenford J. (Reihe Datenverarbeitung, 1982)