-J.L.A. van de Snepscheut (Ed.): Mathematics of Progra Construction, Proceedings 1989, Springer-Verlag 1989