Algorithmic program debugging - Shapiro, Ehud Y. (Cambridge, Massachusetts The MIT Press, 1983)
Includes bibliographical references and index.
Keywords: Electronic books; Debugging in computer science; Prolog (Computer program language)