1. Roland Backhouse. An exploration of the Bird-Meertens formalism. In International Summer School on Constructive Algorithmics, Hollum, Ameland. STOP project, 1989. Also available as Technical Report CS 8810, Department of Computer Science, Groningen University, 1988.
2. Lect Notes Comput Sci,1993
3. Richard Bird. Personal communication, 1999.
4. Richard Bird and Oege de Moor. The Algebra of Programming. Prentice-Hall, 1996.
5. Richard S. Bird. Introduction to Functional Programming Using Haskell. Prentice-Hall, 1998.