Algorithmic program debugging - Shapiro, Ehud Y. (MIT Press, 1983)
Keywords: Debugging in computer science.; Prolog (Computer program language); elektronické knihy; electronic books