The MIT Press, 1983. — 246 p. — ISBN: 0262192187.
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.