Automated and Algorithmic Debugging: First International Workshop, Aadebug '93 Linkoping, Sweden, May 3-5, 1993: Proceedings (Lecture Notes in Computer Science)