Algorithmic program debugging - Shapiro, Ehud (MIT Pr., 1983)
Literaturverz. S. 215 - 229. - Zugl.: New Haven, Conn., Univ., Diss., 1982