1. Prentice-Hall Series in Computer Science;R.J. Bird,1988
2. Robert Boyer and J. S. Moore. A Computational Logic Handbook. Academic Press, 1988.
3. P.J. Brumfitt. Metamorph — a formal methods toolkit with application to the design of digital hardware. Journal of Functional Programming, 2(4):437–473, October 1992.
4. A.J. Field and P.G. Harrison. Functional Programming. Addison-Wesley International Computer Science Series, 1988.
5. H. Glaser, C. Hankin, and D. Till. Principles of Functional Programming. Prentice-Hall International, Inc., London, 1984.