Automated and algorithmic debugging first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / - Fritzson, Peter A., (Lecture notes in computer science ;)