"Formal Program Development in Geometric Modeling."

François Puitg, Jean-François Dufourd (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics