WHY Programs Fail : A Guide to Systematic Debugging - Zeller, Andreas (Morgan Kaufmann, 2006)