Algorithmic program debugging
Shapiro, Ehud Y.
Cambridge, Mass. London MIT Press
c1983
Thesis (Ph. D.) - Yale University, 1982
Bibliography: p215-229. - Includes index
Debugging in computer science.