J. Virágh, “Deterministic ascending tree automata II”, Acta Cybern, vol. 6, no. 3, pp. 291-301, Jan. 1983.