Peter Fritszon Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings AADEBUG Lecture Notes in Computer Science 749 Springer 1993 3-540-57417-4 db/conf/aadebug/aadebug93.html