Categorical Fixed Point Calculus. - Roland Carl Backhouse; Marcel Bijsterveld; Rik van Geldrop; Jaap van der Woude (Category Theory and Computer Science, 1995)

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)