You are about to access our book library "Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings (Lecture Notes in Computer Science, 749) full version" .