Algorithmic program debugging - Shapiro, Ehud (MIT Pr., 1983)