-P.A. Fritzson (Ed.): Automated and Algorithmic Debugging, Springer-Verlag Proceedings 1993