Kühnemann Armin; Vogler Heiko: A pumping lemma for output languages of attributed tree transducers. In: Acta cybernetica, (11) 4. pp. 261-305. (1994)