Effective methods for software testing - William E Perry (Wiley Computer, New York, 2000)