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