Title: Automated and Algorithmic Debugging: First International Workshop, Aadebug '93 Linkoping, Sweden, May 3-5, 1993