-H. Glaser/P. Hartel/H. Kuchen (Eds.): Programming Languages: lmplementations, Logics, and Programs. Proceedings, Springer-Verlag 1997