1. H. Abelson and G. Sussman. Structure and Interpretation of Computer Programs. MacGraw Hill, 1985.
2. Th. Accart-Hardin and V. Donzeau-Gouge Viguié. Concepts et outils de programmation. InterÉdition, Paris, 1992.
3. N. Baxter, E. Dubinsky, and G. Levin. Learning Discrete Mathematics with ISETL. Springer-Verlag, New York, 1989.
4. G. Cousineau and G. Huet. The Caml primer. Technical Report 122, INRIA, Roquencourt-France, 1990.
5. E.W. Dijsktra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York, 1990.