M. Alpuente, D. Ballis, and M. Falaschi, A Rewriting-based Framework for Web Sites Verification, Proc. of RULE, pp.41-61, 2005.
DOI : 10.1016/j.entcs.2004.07.014

D. Ballis and J. Garcia-vivo, A Rewriting-based system for Web site Verification, Proc. of WWV, pp.153-156, 2005.

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

H. Cirstea, C. Kirchner, and L. Liquori, Matching Power, Proc. of RTA, pp.77-92, 2001.
DOI : 10.1007/3-540-45127-7_8
URL : https://hal.archives-ouvertes.fr/inria-00099308

H. Cirstea, C. Kirchner, and L. Liquori, Rewriting Calculus with(out) Types, Proc. of WRLA, 2002.
DOI : 10.1016/S1571-0661(05)82526-5
URL : https://hal.archives-ouvertes.fr/inria-00100858

T. Coquand and G. Huet, The calculus of constructions, Information and Computation, vol.76, issue.2-3, pp.95-120, 1988.
DOI : 10.1016/0890-5401(88)90005-3
URL : https://hal.archives-ouvertes.fr/inria-00076024

D. J. Dougherty, Adding algebraic rewriting to the untyped lambda calculus, Information and Computation, vol.101, issue.2, pp.251-267, 1992.
DOI : 10.1016/0890-5401(92)90064-M

A. Finkelstein, Business Data Validation: lessons from practice, Proc. of WWV, p.1, 2005.

R. Harper, F. Honsell, and G. Plotkin, A framework for defining logics, Journal of the ACM, vol.40, issue.1, pp.143-184, 1992.
DOI : 10.1145/138027.138060

F. Honsell and L. Liquori, The Pattern Logical Framework

J. P. Jouannaud and M. Okada, Executable Higher-Order Algebraic Specification Languages, Proc. of LICS, pp.350-361, 1991.

C. Kirchner, H. Kirchner, and A. Santana, Anchoring Modularity in HTML, Proc. of WWV, 2005.
DOI : 10.1016/j.entcs.2005.12.051
URL : https://hal.archives-ouvertes.fr/inria-00000750

J. W. Klop, V. Van-oostrom, and F. Van-raamsdonk, Combinatory reduction systems: introduction and survey, Theoretical Computer Science, vol.121, issue.1-2, pp.279-308, 1993.
DOI : 10.1016/0304-3975(93)90091-7

L. Liquori and B. Serpette, iRho: an imperative rewriting calculus, Proc. of PPDP, pp.167-178, 2004.
DOI : 10.1016/j.jlap.2004.03.009
URL : https://hal.archives-ouvertes.fr/hal-01147678

S. Lucas, Rewriting-based navigation of Web sites, Proc. of WWV, 2005.

M. Okada, Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation , ISSAC '89, pp.357-363, 1989.
DOI : 10.1145/74540.74582

R. Team, The Rho Home Page, 2005.

V. Van-oostrom, Lambda Calculus with Patterns, 1990.