@inproceedings(berstel:hal-00619884,
 author       = {Jean Berstel},
 year         = {1973},
 title        = {{Sur la densit{\'e} asymptotique de langages formels}},
 booktitle    = {{International Colloquium on Automata, Languages and Programming (ICALP, 1972)}},
 publisher    = {{North-Holland}},
 address      = {France},
 pages        = {345--358},
)
@book(opac-b1092233,
 author       = {Jean Berstel and Dominique Perrin},
 year         = {1985},
 title        = {Theory of codes},
 series       = {Pure and applied mathematics},
 publisher    = {Academic Press},
 address      = {Orlando, San Diego, New York},
)
@book(Berstel:2009:CA:1708078,
 author       = {Jean Berstel and Dominique Perrin and Christophe Reutenauer},
 year         = {2009},
 title        = {Codes and Automata (Encyclopedia of Mathematics and Its Applications)},
 edition      = {1st},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
)
@article(DBLP:journals/iandc/BlassGK85,
 author       = {Andreas Blass and Yuri Gurevich and Dexter Kozen},
 year         = {1985},
 title        = {A Zero-One Law for Logic with a Fixed-Point Operator},
 journal      = {Information and Control},
 volume       = {67},
 number       = {1-3},
 pages        = {70--90},
 doi          = {10.1016/S0019-9958(85)80027-9},
)
@incollection(Bodirsky,
 author       = {Manuel Bodirsky and Tobias Gärtner and Timo von Oertzen and Jan Schwinghammer},
 year         = {2004},
 title        = {Efficiently Computing the Density of Regular Languages},
 editor       = {Farach-Colton, Martín},
 booktitle    = {LATIN 2004: Theoretical Informatics},
 series       = {Lecture Notes in Computer Science},
 volume       = {2976},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {262--270},
 doi          = {10.1007/978-3-540-24698-5\_30},
)
@article(DGK-ijfcs08,
 author       = {Volker Diekert and Paul Gastin and Manfred Kufleitner},
 year         = {2008},
 title        = {A Survey on Small Fragments of First-Order Logic over Finite Words},
 journal      = {International Journal of Foundations of Computer Science},
 volume       = {19},
 number       = {3},
 pages        = {513--548},
 doi          = {10.1142/S0129054108005802},
)
@book(Eilenberg,
 author       = {Samuel Eilenberg and Bret Tilson},
 year         = {1976},
 title        = {Automata, languages and machines. Volume {B}},
 series       = {Pure and applied mathematics},
 publisher    = {Academic Press},
 address      = {New-York, San Franciso, London},
)
@article(Esik:2003:ActaCybernetica,
 author       = {Zolt{\'a}n {\'E}sik and Masami Ito},
 year         = {2003},
 title        = {Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata},
 journal      = {Acta Cybernetica},
 volume       = {16},
 number       = {1},
 pages        = {1--28},
 url          = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol16n1/Esik_2003_ActaCybernetica.xml},
)
@article(DBLP:journals/jsyml/Fagin76,
 author       = {Ronald Fagin},
 year         = {1976},
 title        = {Probabilities on Finite Models},
 journal      = {J. Symb. Log.},
 volume       = {41},
 number       = {1},
 pages        = {50--58},
 doi          = {10.1017/S0022481200051756},
)
@book(Flajolet:2009:AC:1506267,
 author       = {Philippe Flajolet and Robert Sedgewick},
 year         = {2009},
 title        = {Analytic Combinatorics},
 edition      = {1},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9780511801655},
)
@book(opac-b1108561,
 author       = {Ulf Grenander},
 year         = {1963},
 title        = {Probabilities on algebraic structures},
 publisher    = {Wiley},
 address      = {New York},
)
@article(Kolaitis1992258,
 author       = {Phokion G. Kolaitis and Moshe Y. Vardi},
 year         = {1992},
 title        = {Infinitary logics and 0–1 laws},
 journal      = {Information and Computation},
 volume       = {98},
 number       = {2},
 pages        = {258 -- 294},
 doi          = {10.1016/0890-5401(92)90021-7},
 url          = {http://www.sciencedirect.com/science/article/pii/0890540192900217},
)
@inproceedings(conf/mfcs/KolaitisV00,
 author       = {Phokion G. Kolaitis and Moshe Y. Vardi},
 year         = {2000},
 title        = {0-1 Laws for Fragments of Existential Second-Order Logic: A Survey.},
 editor       = {Mogens Nielsen and Branislav Rovan},
 booktitle    = {MFCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {1893},
 publisher    = {Springer},
 pages        = {84--98},
 doi          = {10.1007/3-540-44612-5\_6},
 url          = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2000.html#KolaitisV00},
)
@book(Libkin:2004:EFM:1024196,
 author       = {Leonid Libkin},
 year         = {2004},
 title        = {Elements of Finite Model Theory},
 publisher    = {SpringerVerlag},
 doi          = {10.1007/978-3-662-07003-1},
)
@article(Martin-Lof:1965:PTD,
 author       = {Martin-L{\"o}f, Per},
 year         = {1965},
 title        = {Probability theory on discrete semigroups},
 journal      = {Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete},
 volume       = {4},
 number       = {1},
 pages        = {78--102},
 doi          = {10.1007/BF00535486},
)
@book(MPRI,
 author       = {Jean-\'Eric Pin},
 title        = {Mathematical foundations of automata theory},
 url          = {http://www.liafa.jussieu.fr/~jep/PDF/MPRI/MPRI.pdf},
)
@article(Rystsov1997273,
 author       = {Igor Rystsov},
 year         = {1997},
 title        = {Reset words for commutative and solvable automata},
 journal      = {Theoretical Computer Science},
 volume       = {172},
 number       = {1–2},
 pages        = {273 -- 279},
 doi          = {10.1016/S0304-3975(96)00136-3},
)
@book(Sakarovitch:2009:EAT:1629683,
 author       = {Jacques Sakarovitch},
 year         = {2009},
 title        = {Elements of Automata Theory},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9781139195218},
)
@book(Salomaa:1978:ATA:578607,
 author       = {Arto Salomaa and M. Soittola},
 year         = {1978},
 title        = {Automata Theoretic Aspects of Formal Power Series},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
 doi          = {10.1007/978-1-4612-6264-0},
)