W. Kuich, “Tree transducers and formal tree series”, Acta Cybern, vol. 14, no. 1, pp. 135-145, Jan. 1999.