@book(10,
 author       = {S. L. Bloom and Z. {\'E}sik},
 year         = {1993},
 title        = {Iteration Theories},
 series       = {EATCS Monographs on Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-78034-9},
)
@book(17,
 author       = {W. Bucher and H. Maurer},
 year         = {1984},
 title        = {Theoretische Grundlagen der Programmiersprachen},
 publisher    = {B. I. Wissenschaftsverlag},
)
@article(23,
 author       = {R. S. Cohen and A. Y. Gold},
 year         = {1977},
 title        = {Theory of $\omega$-Languages I: Characterizations of $\omega$-Context-Free Languages},
 journal      = {Journal of Computer and System Sciences},
 volume       = {15},
 number       = {2},
 pages        = {169--184},
 doi          = {10.1016/S0022-0000(77)80004-4},
)
@book(25,
 author       = {J. H. Conway},
 year         = {1971},
 title        = {Regular Algebra and Finite Machines},
 publisher    = {Chapman \& Hall},
)
@article(roc,
 author       = {M. Droste and W. Kuich},
 year         = {under submission},
 title        = {Weighted $\omega$-Restricted One Counter Automata},
 url          = {https://arxiv.org/pdf/1701.08703v1.pdf},
)
@book(29,
 author       = {S. Eilenberg},
 year         = {1974},
 title        = {Automata, Languages, and Machines},
 series       = {Pure and Applied Mathematics},
 volume       = {59, Part A},
 publisher    = {Elsevier},
 doi          = {10.1016/S0079-8169(08)60875-2},
)
@book(MAT,
 author       = {Z. {\'E}sik and W. Kuich},
 title        = {Modern Automata Theory},
 url          = {http://www.dmg.tuwien.ac.at/kuich},
)
@inproceedings(42,
 author       = {Z. {\'E}sik and W. Kuich},
 year         = {2004},
 title        = {A Semiring-Semimodule Generalization of $\omega$-Context-Free Languages},
 booktitle    = {Theory is Forever},
 series       = {Lecture Notes in Computer Science},
 volume       = {3113},
 publisher    = {Springer},
 pages        = {68--80},
 doi          = {10.1007/978-3-540-27812-2_7},
)
@article(43,
 author       = {Z. {\'E}sik and W. Kuich},
 year         = {2005},
 title        = {A Semiring-Semimodule Generalization of $\omega$-Regular Languages II},
 journal      = {Journal of Automata Languages and Combinatorics},
 volume       = {10},
 pages        = {243--264},
)
@inproceedings(44,
 author       = {Z. {\'E}sik and W. Kuich},
 year         = {2007},
 title        = {On Iteration Semiring-Semimodule Pairs},
 booktitle    = {Semigroup Forum},
 volume       = {75},
 organization = {Springer},
 pages        = {129--159},
 doi          = {10.1007/s00233-007-0709-7},
)
@article(45,
 author       = {Z. {\'E}sik and W. Kuich},
 year         = {2007},
 title        = {A Semiring-Semimodule Generalization of Transducers and Abstract $\omega$-Families of Power Series},
 journal      = {Journal of Automata, Languages and Combinatorics},
 volume       = {12},
 number       = {4},
 pages        = {435--454},
)
@book(Har,
 author       = {M. A. Harrison},
 year         = {1978},
 title        = {Introduction to Formal Language Theory},
 edition      = {1st},
 publisher    = {Addison-Wesley},
)
@incollection(78,
 author       = {W. Kuich},
 year         = {1997},
 title        = {Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata Theory},
 booktitle    = {Handbook of Formal Languages, Vol. I},
 chapter      = {9},
 publisher    = {Springer},
 pages        = {609--677},
 doi          = {10.1007/978-3-642-59136-5_9},
)
@book(88,
 author       = {W. Kuich and A. Salomaa},
 year         = {1986},
 title        = {Semirings, Automata, Languages},
 series       = {EATCS Monographs on Theoretical Computer Science},
 volume       = {5},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-69959-7},
)
@book(PerPin,
 author       = {D. Perrin and J.-{\'E}. Pin},
 year         = {2004},
 title        = {Infinite Words: Automata, Semigroups, Logic and Games},
 series       = {Pure and Applied Mathematics},
 volume       = {141},
 publisher    = {Elsevier},
 doi          = {10.1016/S0079-8169(13)62900-1},
)
@book(SalSoi,
 author       = {A. Salomaa and M. Soittola},
 year         = {1978},
 title        = {Automata-Theoretic Aspects of Formal Power Series},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-6264-0},
)