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