1. Alimarine, A., Smetsers, S., van Weelden, A., van Eekelen, M., Plasmeijer, R.: There and back again: arrows for invertible programming. In: Haskell 2005, pp. 86–97. ACM Press, New York (2005)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1997)
3. Beeson, M.J.: A computerized environment for learning algebra, trigonometry, and calculus. Journal of Artificial Intelligence and Education 1, 65–76 (1990)
4. Beeson, M.J.: Design principles of MathPert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)
5. Boon, P., Drijvers, P.: Algebra en applets, leren en onderwijzen (algebra and applets, learning and teaching, in Dutch) (2005),
http://www.fi.uu.nl/publicaties/literatuur/6571.pdf