B. Borchardt, “A pumping lemma and decidability problems for recognizable tree series”, Acta Cybern, vol. 16, no. 4, pp. 509-544, Jan. 2004.