1999 Repères-IREM. N° 34. p. 13-28. Réflexions méthodologiques en calcul formel. Auteurs : Lygeros Nikos ; Marguin Olivier ; Mizony Michel
