Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
Snepscheut, J. L. A. van de van de Snepscheut, J. L. A.
Berlin, Heidelberg: Springer Berlin Heidelberg 1989