On cofinal and definite automata

M. Ito, Jürgen Duske
1983 Acta Cybernetica  
dblp:journals/actaC/ItoD84 fatcat:7tek56cdiraftanbbunqwd3nxu