Y. Bertrand, J. Dufourd, J. Françon, and P. Lienhardt, Algebraic specification and development in geometric modeling, TAPSOFT'93, ser. LNCS, pp.75-89, 1993.
DOI : 10.1007/3-540-56610-4_57

L. Fuchs, D. Bechmann, Y. Bertrand, and J. Dufourd, Formal specification for free-form curves and surfaces, Spring Conference on Computer Graphics, 1996.

J. Dufourd, Algebras and formal specifications in geometric modelling, The Visual Computer, vol.13, issue.3, pp.131-154, 1997.
DOI : 10.1007/s003710050095

F. Ledoux, A. Arnould, P. L. Gall, and Y. Bertrand, Geometric modeling with CASL, WADT 2001, ser. LNCS, pp.176-200, 2001.
DOI : 10.1007/3-540-45645-7_9

F. Ledoux, ´ etude et spécifications formelles de l'arrondi d'objets géométriques, Thèse, 2002.

P. Lienhardt, Topological models for boundary representation: a comparison with n-dimensional generalized maps, Computer-Aided Design, vol.23, issue.11, pp.59-82, 1991.
DOI : 10.1016/0010-4485(91)90100-B

L. Fuchs and P. Lienhardt, Topological structures and free-form spaces, Journées de Géométrie Algorithmique, 1997.

H. Kirchner and C. Ringeissen, Executing CASL Equational Specifications with the ELAN Rewrite Engine, LORIA, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098937

L. Schröder and T. Mossakowski, HasCasl: Towards Integrated Specification and Development of Functional Programs, AMST'02, ser. LNCS, pp.99-116, 2002.
DOI : 10.1007/3-540-45719-4_8

T. Mossakowski, Two " Functional Programming " Sublanguages of CASL, CoFI Note L-9, 1998.

A. Arnould, L. Fuchs, M. Aiguier, and T. Brunet, Génération automatique de code O'Camì a partir de spécifications CASL, 2005.

. Cofi, The Common Framework Initiative), CASL Reference Manual, ser, LNCSIFIP Series, vol.2960, 2004.

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

U. D. Groupe and B. , Hets -the heterogeneous tool set

N. Dershowitz and M. Okada, A rationale for conditional equational programming, Theoretical Computer Science, vol.75, issue.1-2, pp.111-138, 1990.
DOI : 10.1016/0304-3975(90)90064-O
URL : http://doi.org/10.1016/0304-3975(90)90064-o

J. Bergstra and J. Klop, Conditional rewrite rules: Confluence and termination, Journal of Computer and System Sciences, vol.32, issue.3, pp.323-362, 1986.
DOI : 10.1016/0022-0000(86)90033-4
URL : http://doi.org/10.1016/0022-0000(86)90033-4