- Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Volume 375 of Lecture Notes in Computer Science, Springer, 1989.