@book(Dragon2007,
 author       = {Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman},
 year         = {2007},
 title        = {Compilers (Principles, Techniques and Tools)},
 publisher    = {Pearson, Addison Wesley},
)
@inproceedings(AroundHopcroft2006,
 author       = {Manuel Baclet and Claire Pagetti},
 year         = {2006},
 title        = {Around {Hopcroft's} Algorithm},
 editor       = {Oscar Ibarra and Hsu-Chun Yen},
 booktitle    = {Implementation and Application of Automata},
 series       = {LNCS},
 publisher    = {Springer Verlag},
 pages        = {114--125},
 doi          = {10.1007/11812128\_12},
)
@misc(Re2c_sys,
 author       = {Markus Boerger and Peter Bumbulis and Dan Nuffer and Ulya Trofimovich and Brian Young},
 year         = {2003-2021},
 title        = {{re2c} System},
 howpublished = {{\tt https://re2c.org/}},
)
@inproceedings(mythsfacts1998,
 author       = {Klaus Brouwer and Wolfgang Gellerich and Erhard Ploederer},
 year         = {1998},
 title        = {Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis},
 editor       = {K. Koskimies},
 booktitle    = {Compiler Construction (CC 1998)},
 series       = {LNCS~1383},
 publisher    = {Springer},
 pages        = {1--15},
 doi          = {10.1007/BFb0026419},
)
@misc(Unicode,
 author       = {The {Unicode} Consortium},
 title        = {Unicode},
 howpublished = {{\tt https://home.unicode.org/}},
)
@misc(CTRE2019,
 author       = {Hana Dus\'ikov\'a},
 year         = {2019-},
 title        = {{CTRE} (Compile-Time Regular Expressions) Library},
 howpublished = {{\tt https://compile-time.re/}},
)
@article(Hopcroft_min_1971,
 author       = {John E. Hopcroft},
 year         = {1971},
 title        = {An n.log(n) algorithm for minimizing the states in a finite automaton},
 journal      = {The theory of machines and computations},
 volume       = {43},
 pages        = {189--196},
 doi          = {10.1016/B978-0-12-417750-5.50022-1},
)
@book(Autotheory2006,
 author       = {John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman},
 year         = {2006},
 title        = {Introduction to Automata Theory, Languages, and Computation},
 edition      = {3d},
 publisher    = {Pearson, Addison Wesley},
)
@misc(Lex1975sys,
 author       = {Michael E Lesk and Eric Schmidt},
 year         = {1975},
 title        = {Lex: A lexical analyzer generator},
)
@article(Efficient_depth2016,
 author       = {Desheng Liu and Zhiping Huang and Yimeng Zhang and Xiaojun Guo and Shaojing Su},
 year         = {2016},
 title        = {Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information},
 journal      = {PLOS ONE},
 volume       = {11},
 number       = {11},
 pages        = {59--78},
 doi          = {10.1371/journal.pone.0165864},
)
@article(deNivelle2021b,
 author       = {Hans de Nivelle},
 year         = {2021},
 title        = {A Recursive Inclusion Checker for Recursively Defined Subtypes},
 journal      = {Modeling and Analysis of Information Systems},
 volume       = {28},
 number       = {4},
 pages        = {414--433},
 doi          = {10.18255/1818-1015-2021-4-414-433},
 url          = {https://www.mais-journal.ru/jour/article/view/1568},
)
@misc(CompilerTools,
 author       = {Hans de Nivelle and Dina Muktubayeva},
 year         = {2021},
 title        = {Tokenizer Generation},
 howpublished = {{\tt http://www.compiler-tools.eu/}},
)
@article(OnHopCroft2009,
 author       = {P\u{a}un, Andrei and P\u{a}un, Mihaela and Rodr\'{i}guez-P\'{a}ton, Alfonso},
 year         = {2009},
 title        = {On the {Hopcroft’s} minimization technique for {DFA} and {DFCA}},
 journal      = {theoretical computer science},
 pages        = {2424--2430},
 doi          = {10.1016/j.tcs.2009.02.034},
)
@book(Sipser2013,
 author       = {Michael Sipser},
 year         = {2013},
 title        = {Introduction to the Theory of Computation (Third Edition)},
 publisher    = {{CENGAGE} Learning},
)