D. Arroyuelo, Fast in-memory xpath search using compressed indexes, IEEE, pp.417-428, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00947659

G. Castagna, H. Im, K. Nguyen, and V. Benzaken, A Core Calculus for XQuery 3.0, 2013.
DOI : 10.1007/978-3-662-46669-8_10
URL : https://hal.archives-ouvertes.fr/hal-01104872

A. Frisch and K. Nakano, Streaming XML transformation using term rewriting In: Programming Language Technologies for XML (PLAN-X), pp.2-13, 2007.

Z. Fülöp and H. Vogler, Syntax-Directed Semantics ? Formal Models based on Tree Transducers, EATCS Monographs in Theoretical CS, 1998.

S. Hakuta, S. Maneth, K. Nakano, and H. Iwasaki, XQuery streaming by Forest Transducers, 2014 IEEE 30th International Conference on Data Engineering, pp.952-963, 2014.
DOI : 10.1109/ICDE.2014.6816714
URL : http://arxiv.org/abs/1311.6570

I. Innovimax and . Lille, Quix tools suite, https://project.inria.fr/ quix-tool-suite

M. Kay, XSL Transformations (XSLT) Version 3.0, W3C Last Call Working Draft, 2013.

S. Kepser, A simple proof for the Turing-Completeness of XSLT and XQuery, In: Extreme Markup Languages R, 2004.

P. Labath and J. Niehren, A Functional Language for Hyperstreaming XSLT, Research report, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00806343

P. Labath and J. Niehren, A Uniform Programming Language for Implementing XML Standards, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00954692

S. Maneth, A. Berlea, T. Perst, and H. Seidl, XML type checking with macro tree transducers, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, pp.283-294, 2005.
DOI : 10.1145/1065167.1065203

A. Neumann and H. Seidl, Locating Matches of Tree Patterns in Forests, pp.134-145, 1998.
DOI : 10.1007/978-3-540-49382-2_12

J. Robie, XQuery 3.0: An XML Query Language, W3C Proposed Recommendation, 2013.

A. Schmidt, XMark, http://www.w3.org/TR/xproc 18. Zergaoui, M., Innovimax: QuiXProc, 2002.
DOI : 10.1016/B978-155860869-6/50096-2