1. Almstrum, V.L.: Investigating Student Difficulties With Mathematical Logic. In: Neville Dean, C., Hinchey, M.G. (eds.) Teaching and Learning Formal Methods, pp. 131–160. Academic Press, London (1996)
2. Lecture Notes in Computer Science,1996
3. Bartle, R.G.: The Elements of Real Analysis. Wiley, New York (1964)
4. Boute, R.T.: Funmath illustrated: A Declarative Formalism and Application Examples. Declarative Systems Series No. 1, Computing Science Institute, University of Nijmegen (1993)
5. Boute, R.: Functional Mathematics: a Unifying Declarative and Calculational Approach to Systems, Circuits and Programs — Part I: Basic Mathematics, Course text, Ghent University (2002)