Zachar, Z. 1985. On the equivalence of the frontier-to-root tree transducers I. Acta Cybernetica. 7, 2 (Jan. 1985), 173-182.