Vers des spécifications formelles : Fondements Mathématiques et Informatiques pour la Géométrie Dynamique. (Toward Formal Specifications: Mathematical and Computational Foundations for Dynamic Geometry). - Bernard Genevès (2004)