Jan L. A. van de Snepscheut Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings MPC Lecture Notes in Computer Science 375 Springer 1989 3-540-51305-1 db/conf/mpc/mpc89.html