Algorithmic program debugging - Shapiro, Ehud Y. (MIT Press, 1983)
Includes bibliographical references (p. [215]-229) and index