G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori, Pure Pattern Type Systems, Proc. of POPL, 2003.

H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Proc. of FOSSACS, pp.166-180, 2001.
DOI : 10.1007/3-540-45315-6_11

URL : https://hal.archives-ouvertes.fr/inria-00107877

H. Cirstea, L. Liquori, and B. Wack, Rho-calculus with Fixpoint: First-order system, Proc. of TYPES, 2004.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, The Gang of Four) Design Patterns Elements of Reusable Object-Oriented Software, 1994.

J. Goguen, The OBJ Family Home Page, 2005.

H. Team, The Haskell Home Page, 2005.

G. Huet, Résolution d'equations dans les langages d'ordre 1, 1976.

L. Liquori, B. Serpette, and . Irho, An Imperative Rewriting Calculus, Proc. of PPDP, pp.167-178, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01147678

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML (Revised), 1997.