1. and , SET L/C++: reference manual, in: Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, unpublished manuscript, 1995.
2. , and , Learning Discrete Mathematics with ISETL, Springer-Verlag, New York, 1989.
3. Théorie des Graphs et ses Applications, Dunod, Paris, 1958.
4. Graph Theory: An Introductory Course, Springer-Verlag, New York, 1979.
5. and , A Computational Logic Handbook, Academic Press, New York, 1988.