Ito, M. and Duske, J. 1983. On cofinal and definite automata. Acta Cybernetica. 6, 2 (Jan. 1983), 181-189.