F. Baader and T. Nipkow, Term rewriting and all that, 1998.

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532

S. Cranefield, Networked knowledge representation and exchange using UML and RDF, Journal of Digital Information, vol.1, issue.8, 2001.

M. Dauchet, Simulation of Turing machines by a left-linear rewrite rule, Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (N.C., USA), pp.109-120, 1989.
DOI : 10.1007/3-540-51081-8_103

H. Hosoya and B. C. Pierce, XDuce: A Typed XML Processing Language (Preliminary Report), International Workshop on the Web and Databases (WebDB), 2000.
DOI : 10.1007/3-540-45271-0_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.6178

B. Jung, E. P. Andersen, and J. Grimson, SynExML as a vehicle for electronic patient records. A status report from the SynEx project, Proc. XML Europe, 2000.

P. Kankure, Produce dynamic web pages with Java and XSLT. Two approaches for building an easily portable solution, IBM developerWorks, 2001.

C. Kirchner-andhéì-ene and . Kirchner, Rewriting, solving, proving. A preliminary version of a book available at www, 1999.

C. M. Sperberg-mcqueen and C. Huitfeldt, Practical extraction of meaning from markup using XSLT. An abstract submitted to ACH, 2000.

M. Van-den-brand, H. A. De-jong, P. Klint, and P. A. Olivier, Efficient annotated terms. Software- Practice and Experience, pp.259-291, 2000.

P. Wadler, A formal semantics of patterns in XSLT http://cm.bell-labs.com/cm, html, issue.4, 1999.

.. Operations-on-location-paths, 19 5.3.1 Axis relations between nodes, p.23

R. Xslt-template, 30 6.2.1 xsl:template element, p.31

R. Tree, C. Instructions, and .. , 32 6.3.1 Literal Result Elements, p.33

A. Integrated, X. Of, and .. , 36 7.1.1 Rule Selection, p.38