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