Bibliography

[Engelfriet, 1980]

Joost Engelfriet.
Some Open Questions and Recent Results on Tree Transducers and Tree Languages.
In R.V. Book, editor, Formal Language Theory; Perspectives and Open Problems, 241-286. Academic Press, New York, 1980.

[Engelfriet and Vogler, 1985]

Joost Engelfriet and Heiko Vogler.
Macro Tree Transducers.
Journal of Computer and System Sciences (JCSS), 31(1):71-146, 1985.

[Fischer, 1968]

Michael J. Fischer.
Grammars with Macro-like Productions.
PhD Thesis, Harvard University, Massachusetts, 1968.

[Fülöp and Vogler, 1998]

Zoltan Fülöp and Heiko Vogler.
Syntax-Directed Semantics; Formal Models Based on Tree Transducers.
Springer, Berlin, 1998.

[Maneth et al., 2007]

Sebastian Maneth, Thomas Perst, and Helmut Seidl.
Exact XML Type Checking in Polynomial Time.
In T. Schwentick and D. Suciu (Eds.) 11th International Conference on Database Theory (ICDT), Lecture Notes in Computer Science (LNCS) Vol. 4353, 254--268, 2007.

[Maneth et al., 2005]

Sebastian Maneth, Alexandru Berlea, Thomas Perst, and Helmut Seidl.
XML Type Checking with Macro Tree Transducers.
In 24th ACM Symposium on Principles of Database Systems (PODS), ACM Press, 283--294, 2005.

[Perst, 2007]

Thomas Perst.
Type Checking Xml Transformations.
PhD Thesis, Technische UNiversität München, 2007.

[Rounds, 1970]

William C. Rounds.
Mappings and Grammars on Trees.
Mathematical Systems Theory, 4(3):257-287, 1970.