Effective methods for testing software - Perry, William (Wiley, 1995)