-D. Sannella (Ed.): Programming Languages and Systems - ESOP '94, Proceedings 1994, Springer-Verlag 1994