1. Expertise mathématique et informatique CAMELIA, un logiciel pour raisonner et calculer;Vivet,1984
2. NITPACK: An interactive tree package;Gaffney;ACM Trans. Math. Software,1983
3. ALGORITHM 606. NITPACK: an interactive tree package;Gaffney;ACM Trans. Math. Software,1983
4. NEXUS. Towards a problem solving environment (PSE) for scientific computing;Gaffney;ACM Special Interest Group on Numerical Mathematics,1986
5. Une application de l'intelligence artificielle à l'analyse des données;Demonchaux,1984