1. Chritiene Aarts, Roland Backhouse, Paul Hoogendijk, Ed Voermans and Jaap van der Woude, A relational theory of data types. Lecture notes, Eindhoven University (December 1992)
2. Henk P. Barendregt, The Lambda Calculus — Its Syntax and Semantics, North-Holland (1984)
3. Richard Bird, Introduction to Functional Programming using Haskell. Prentice Hall International Series in Computer Science, London (1998)
4. Robert H. Bishop, Lab VIEW Student Edition, Prentice Hall, N.J. (2001)
5. Eerke Boiten and Bernhard Möller, Sixth International Conference on Mathematics of Program Construction (Conference announcement), Dagstuhl (2002).
http://www.cs.kent.ac.uk/events/conf/2002/mpc2002