@article{ Solr-acta12351, title = {On cofinal and definite automata}, series = {Acta cybernetica}, author = {Ito Masami}, year = {1983}, url = {http://acta.bibl.u-szeged.hu/12351/1/cybernetica_006_numb_002_181-189.pdf} }