Algorithmic program debugging - Shapiro, Ehud Y. (MIT Press, 1983)
Zugl.: Yale, Univ., Diss., 1982