Masami Ito, Masashi Katsura. On Transitive Cofinal Automata. In Gheorghe Paun, editor, Mathematical Aspects of Natural and Formal Languages. Volume 43 of World scientific series in computer science, pages 173-199, World Scientific, 1994. [doi]
Abstract is missing.