F. Gécseg and M. Steinby, “Minimal ascending tree automata”, Acta Cybern, vol. 4, no. 1, pp. 37-44, Jan. 1978.