1. H. Abelson, G.J. Sussman, and J. Sussman, Structure and Interpretation of Computer Programs, The MIT Press, 1985.
2. R. Bird, and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988.
3. R. Bornat, Programming from First Principles, Prentice Hall, 1987.
4. K. Broda, S. Eisenbach, H. Khoshnevisan, and S. Vickers, Reasoned Programming, Prentice Hall, 1994.
5. C. Clack, C. Myers, and E. Poon, Programming with Miranda, Prentice Hall, 1995.