@book(ahoull85,
 author       = {Alfred~V. Aho and Ravi Sethi and Jeffrey~D. Ullman},
 year         = {1985},
 title        = {Compilers: Principles, Techniques, and Tools},
 publisher    = {Addison-Wesley},
)
@book(focs,
 author       = {Alfred~V. Aho and Jeffrey~D. Ullman},
 year         = {1992},
 title        = {Foundations of Computer Science},
 publisher    = {W.H. Freeman},
)
@incollection(albjar09,
 author       = {J\"urgen Albert and Jarkko Kari},
 year         = {2009},
 title        = {Digital Image Compression},
 booktitle    = {Handbook of Weighted Automata},
 chapter      = {11},
 pages        = {453--479},
 doi          = {10.1007/978-3-642-01492-5_11},
)
@book(ALUFFI,
 author       = {Paolo Aluffi},
 year         = {2009},
 title        = {Algebra: Chapter 0},
 series       = {Graduate Studies in Mathematics},
 volume       = {104},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/gsm/104/01},
)
@book(ATIYAH,
 author       = {Michael~F. Atiyah and Ian~G. MacDonald},
 year         = {1994},
 title        = {Introduction To Commutative Algebra},
 series       = {Addison-Wesley Series in Mathematics},
 publisher    = {Avalon Publishing},
)
@incollection(autberboa97,
 author       = {Jean-Michel Autebert and Jean Berstel and Luc Boasson},
 year         = {1997},
 title        = {Context-free Languages and Pushdown Automata},
 editor       = {Grzegorz Rozenberg and Arto Salomaa},
 booktitle    = {Handbook of Formal Languages},
 chapter      = {3},
 volume       = {1},
 publisher    = {Springer},
 pages        = {111--174},
 doi          = {10.1007/978-3-642-59136-5_3},
)
@incollection(baigrocie09,
 author       = {Christel Baier and Marcus~Gr\"o\ss er and Frank Ciesinski},
 year         = {2009},
 title        = {Model Checking Linear-Time Properties of Probabilistic Systems},
 booktitle    = {Handbook of Weighted Automata},
 chapter      = {13},
 pages        = {519--570},
 doi          = {10.1007/978-3-642-01492-5_13},
)
@article(BERSTEL,
 author       = {Jean Berstel and Christophe Reutenauer},
 year         = {1982},
 title        = {Recognizable Formal Power Series on Trees},
 journal      = {Theoretical Computer Science},
 volume       = {18},
 number       = {2},
 pages        = {115--148},
 doi          = {10.1016/0304-3975(82)90019-6},
)
@book(droste2009handbook,
 author       = {Manfred Droste and Werner Kuich and Heiko Vogler},
 year         = {2009},
 title        = {Handbook of Weighted Automata},
 series       = {Monographs in Theoretical Computer Science. An EATCS Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-01492-5},
)
@incollection(drokus21,
 author       = {Manfred Droste and Dietrich Kuske},
 year         = {2021},
 title        = {Weighted Automata},
 editor       = {Jean-Eric Pin},
 booktitle    = {Handbook of Automata Theory},
 chapter      = {4},
 volume       = {1},
 publisher    = {EMS Press},
 pages        = {113--150},
 doi          = {10.4171/automata-1/4},
)
@book(gol99,
 author       = {Jonathan~S. Golan},
 year         = {1999},
 title        = {Semirings and their Applications},
 publisher    = {Kluwer Academic},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-015-9333-5},
)
@book(hebwei98,
 author       = {Udo Hebisch and Hanns~J. Weinert},
 year         = {1998},
 title        = {Semirings---Algebraic Theory and Applications in Computer Science},
 series       = {Series in Algebra},
 volume       = {5},
 publisher    = {World Scientific},
 doi          = {10.1142/3903},
)
@article(JAC80,
 author       = {Gerard Jacob},
 year         = {1980},
 title        = {Un th{\'e}or{\`e}me de factorisation des produits d'endomorphismes de $K^n$},
 journal      = {Journal of Algebra},
 volume       = {63},
 number       = {2},
 pages        = {389--412},
 doi          = {10.1016/0021-8693(80)90080-0},
)
@article(kir11,
 author       = {Daniel Kirsten},
 year         = {2011},
 title        = {The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable},
 journal      = {Acta Cybernetica},
 volume       = {20},
 number       = {2},
 pages        = {211--221},
 doi          = {10.14232/actacyb.20.2.2011.1},
)
@incollection(knimay09,
 author       = {Kevin Knight and Jonathan May},
 year         = {2009},
 title        = {Applications of Weighted Automata in Natural Language Processing},
 booktitle    = {Handbook of Weighted Automata},
 chapter      = {14},
 pages        = {571--596},
 doi          = {10.1007/978-3-642-01492-5_14},
)
@book(kuisal86,
 author       = {Werner Kuich and Arto Salomaa},
 year         = {1986},
 title        = {Semirings, Automata, Languages},
 series       = {Monographs in Theoretical Computer Science. An EATCS Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-69959-7},
)
@booklet(MILNE,
 author       = {James Milne},
 year         = {2020},
 title        = {A Primer of Commutative Algebra},
 howpublished = {\url{https://www.jmilne.org/math/xnotes/CA.pdf}},
)
@inproceedings(icc,
 author       = {Antonio Munoz and Sakir Sezer and Dwayne Burns and Gareth Douglas},
 year         = {2011},
 title        = {An Approach for Unifying Rule Based Deep Packet Inspection},
 booktitle    = {Proc.\spacefactor\@m {} IEEE Int.\spacefactor\@m {} Conf.\spacefactor\@m {} on Communications},
 publisher    = {IEEE},
 pages        = {1--5},
 doi          = {10.1109/icc.2011.5963095},
)
@article(PUMP,
 author       = {Micheal~O. Rabin and Dana Scott},
 year         = {1959},
 title        = {Finite Automata and Their Decision Problems},
 journal      = {IBM Journal of Research and Development},
 volume       = {3},
 number       = {2},
 pages        = {114--125},
 doi          = {10.1147/rd.32.0114},
)
@article(REUT80,
 author       = {Christophe Reutenauer},
 year         = {1980},
 title        = {An Ogden-like Iteration Lemma for Rational Power Series},
 journal      = {Acta Informatica},
 volume       = {13},
 number       = {2},
 pages        = {189--197},
 doi          = {10.1007/bf00263993},
)
@incollection(sak09,
 author       = {Jacques Sakarovitch},
 year         = {2009},
 title        = {Rational and Recognisable Power Series},
 booktitle    = {Handbook of Weighted Automata},
 chapter      = {4},
 pages        = {105--174},
 doi          = {10.1007/978-3-642-01492-5_4},
)
@book(salsoi78,
 author       = {Arto Salomaa and Matti Soittola},
 year         = {1978},
 title        = {Automata-Theoretic Aspects of Formal Power Series},
 series       = {Texts and Monographs in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-6264-0},
)
@article(SCHUTZ61,
 author       = {Marcel-Paul Sch{\"u}tzenberger},
 year         = {1961},
 title        = {On a Special Class of Recurrent Events},
 journal      = {The Annals of Mathematical Statistics},
 volume       = {32},
 number       = {4},
 pages        = {1201--1213},
 doi          = {10.1214/aoms/1177704860},
)
@article(sch61,
 author       = {Marcel-Paul Sch\"utzenberger},
 year         = {1961},
 title        = {On the Definition of a Family of Automata},
 journal      = {Information and Control},
 volume       = {4},
 number       = {2--3},
 pages        = {245--270},
 doi          = {10.1016/S0019-9958(61)80020-X},
)
@article(loojon21,
 author       = {{van der Loo}, Mark P.~J. and {de Jonge}, Edwin},
 year         = {2021},
 title        = {Data Validation Infrastructure for {R}},
 journal      = {Journal of Statistical Software},
 volume       = {97},
 number       = {10},
 pages        = {1--31},
 doi          = {10.18637/jss.v097.i10},
)
@book(bio,
 author       = {{von Heijne}, Gunnar},
 year         = {1987},
 title        = {Sequence Analysis in Molecular Biology},
 publisher    = {Academic Press},
 doi          = {10.1016/B978-0-12-725130-1.X5001-2},
)
@article(wan97,
 author       = {Huaxiong Wang},
 year         = {1997},
 title        = {On Characters of Semirings},
 journal      = {Houston Journal of Mathematics},
 volume       = {23},
 number       = {3},
 pages        = {391--405},
)
@incollection(yu97,
 author       = {Sheng Yu},
 year         = {1997},
 title        = {Regular Languages},
 editor       = {Grzegorz Rozenberg and Arto Salomaa},
 booktitle    = {Handbook of Formal Languages},
 chapter      = {2},
 volume       = {1},
 publisher    = {Springer},
 pages        = {41--110},
 doi          = {10.1007/978-3-642-59136-5_2},
)