1990 La démonstration mathématique dans l’histoire. Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1990 La démonstration mathématique dans l’histoire. Démonstration automatique en géométrie : une approche par l’algèbre. p. 251-259. Auteur : Coste-Roy Marie-Françoise