Fixed-Point Calculus. - Chritiene Aarts; Roland Carl Backhouse; Eerke A. Boiten; Henk Doornbos; Netty van Gasteren; Rik van Geldrop; Paul F. Hoogendijk; Ed Voermans; Jaap van der Woude (Inf. Process. Lett., 1995)

Programs and Datatypes. - Henk Doornbos; Netty van Gasteren; Roland Carl Backhouse (Relational Methods in Computer Science, 1997)