Algorithmic Program Debugging - Shapiro (IEEE, 2003)