Algorithmic Program Debugging - Shapiro (MIT Press Cambridge, 2004)
Keywords: COMPUTER