Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / - Fritzson, Peter A. (Springer-Verlag, 1993)