The art of software testing - Myers, Glenford J. (Business Data Processing : a Wiley Series, 1979)