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