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