Algorithmic Program Debugging | MIT Press eBooks | IEEE Xplore