Formal Program Development in Geometric Modeling. - François Puitg; Jean-François Dufourd (FM-Trends, 1998)

Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. - François Puitg; Jean-François Dufourd (TPHOLs, 1998)

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. - Ricardo Caferra; Nicolas Peltier; François Puitg (Automated Deduction in Geometry, 2000)

Functional specification and prototyping with oriented combinatorial maps. - Jean-François Dufourd; François Puitg (Comput. Geom., 2000)

Formalizing mathematics in higher-order logic: A case study in geometric modelling. - François Puitg; Jean-François Dufourd (Theor. Comput. Sci., 2000)