M. Ito and J. Duske, “On cofinal and definite automata”, Acta Cybern, vol. 6, no. 2, pp. 181-189, Jan. 1983.