Effective methods for software testing - Agrios, George N. (New York John Wiley and Sons, 1999)