E. Balland, C. Kirchner, and P. Moreau, Formal Islands, 2006.
DOI : 10.1007/11784180_7
URL : https://hal.archives-ouvertes.fr/inria-00001146

L. Bauer, J. Ligatti, and D. Walker, Composing security policies with polymer, PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp.305-314, 2005.

E. M. Clarke and J. M. Win, Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.626-643, 1996.
DOI : 10.1145/242223.242257
URL : https://hal.archives-ouvertes.fr/hal-00444076

B. Gramlich, Termination and Confluence Properties of Structured Rewrite Systems, 1996.

O. Kahramano?-gullar?, P. Moreau, and A. Reilles, Implementing deep inference in TOM, Structures and Deduction, pp.158-172, 2005.

C. Kirchner, A. Héì-ene-kirchner, and . Santana, Anchoring Modularity in HTML, María Alpuente WWV, volume DSIC-II/03/05 Departamento de Sistemas Informaticos y Computacion, pp.139-151, 2005.
DOI : 10.1016/j.entcs.2005.12.051
URL : https://hal.archives-ouvertes.fr/inria-00000750

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

J. Melton and A. Eisenberg, Understanding SQL and Java Together: A Guide to SQLJ, JDBC, and Related Technologies, 2000.

A. Middeldorp, A sufficient condition for the termination of the direct sum of term rewriting systems, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.396-401, 1989.
DOI : 10.1109/LICS.1989.39194

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

M. Rusinowitch, On termination of the direct sum of term-rewriting systems, Information Processing Letters, vol.26, issue.2, pp.65-70, 1987.
DOI : 10.1016/0020-0190(87)90039-1
URL : https://hal.archives-ouvertes.fr/inria-00075874

D. Spinellis, Notable design patterns for domain-specific languages, Journal of Systems and Software, vol.56, issue.1, pp.91-99, 2001.
DOI : 10.1016/S0164-1212(00)00089-3

Y. Toyama, On the Church-Rosser property for the direct sum of term rewriting systems, Journal of the ACM, vol.34, issue.1, pp.128-143, 1987.
DOI : 10.1145/7531.7534

E. Visser, Z. El-abidine, A. Benaissa, and . Tolmach, Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pp.13-26, 1998.