1. Lect Notes Comput Sci;L. Augusteijn,1992
2. Roland Backhouse. Galois connections and fixed point calculus, 2001. Lecture Notes.
3. Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall Europe, London, 2nd edition, 1998.
4. Richard Bird and Oege de Moor. Algebra of Programming. Prentice Hall Europe, London, 1997.
5. Richard S. Bird. Lectures on constructive functional programming. In Manfred Broy, editor, Constructive Methods in Computer Science. Springer-Verlag, 1988.