Z. Zachar, “On the equivalence of the frontier-to-root tree transducers II.”, Acta Cybern, vol. 7, no. 2, pp. 183-193, Jan. 1985.