1. Lecture Notes in Computer Science;A. Benoit,2005
2. Bird, R.S.: Lectures on Constructive Functional Programming. Technical Report Technical Monograph PRG-69, Oxford University Computing Laboratory (1988)
3. Bird, R.S.: Introduction to Functional Programming using Haskell. Prentice-Hall, Englewood Cliffs (1998)
4. Bird, R.S., de Moor, O.: Algebras of Programming. Prentice-Hall, Englewood Cliffs (1996)
5. Research Monographs in Parallel and Distributed Computing;M. Cole,1989