1. Y. Bertrand and J.-F. Dufourd. Algebraic specification of a 3D-modeller Based on Hypermaps. Computer vision, graphical model, and image processing, 56(1):29–60, 1994.
2. J.-F. Dufourd. Algebras and formal specifications in geometric modeling. The Visual Computer, 13:131–154, 1997. Springer-Verlag.
3. H. Elter. Etude de structures combinatoires pour la représentation de complexes cellulaires. PhD thesis, Université de Strasbourg, 1994.
4. L. Fuchs, D. Bechmann, Y. Bertrand, and J.-F. Dufourd. Formal specification for free-form curves and surfaces. In Spring Conference on Computer Graphics, Bratislava, 1996.
5. F. Ledoux and A. Arnould. Geospec: specification libraries for geometric modelling, sept. 2001.
http://www.sic.sp2mi.univ-poitiers.fr/GL/GeoSpec
.