@book(Br84,
 author       = {W. Brauer},
 year         = {1984},
 title        = {Automatentheorie: {E}ine {E}inf{\"u}hrung in die {T}heorie endlicher {A}utomaten},
 series       = {Leitf{\"a}den und {M}onographien der {I}nformatik},
 publisher    = {Teubner Stuttgart},
 doi          = {10.1007/978-3-322-92151-2},
 note         = {(in German)},
)
@article(DaJe22,
 author       = {J. Dassow and I. Jecker},
 year         = {2022},
 title        = {Operational complexity and pumping lemmas},
 journal      = {Acta Inform.},
 volume       = {59},
 pages        = {337--–355},
 doi          = {10.1007/s00236-022-00431-3},
)
@inproceedings(GHR23,
 author       = {H. Gruber and M. Holzer and C. Rauch},
 year         = {2023},
 title        = {The Pumping Lemma for Regular Languages is Hard},
 editor       = {B. Nagy},
 booktitle    = {Proceedings of the $27$th International Conference on Implementation and Application of Automata},
 series       = {LNCS},
 volume       = {14151},
 publisher    = {Springer},
 address      = {Famagusta, Cyprus},
 note         = {Accepted for publication},
)
@book(Ha78,
 author       = {M. A. Harrison},
 year         = {1978},
 title        = {Introduction to Formal Language Theory},
 publisher    = {Addison-Wesley},
)
@inproceedings(HoRa23a,
 author       = {M. Holzer and C. Rauch},
 year         = {2023},
 title        = {On {J}affe’s Pumping Lemma, Revisited},
 editor       = {H. Bordihn and N. Tran and G. Vaszil},
 booktitle    = {Proceedings of the $25$th International Conference on Descriptional Complexity of Formal Systems},
 series       = {LNCS},
 volume       = {13918},
 publisher    = {Springer},
 address      = {Potsdam, Germany},
 pages        = {65--78},
 doi          = {10.1007/978-3-031-34326-1_5},
)
@book(HoUl79,
 author       = {J. E. Hopcroft and J. D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages and Computation},
 publisher    = {Addison-Wesley},
)
@article(Ja78,
 author       = {J. Jaffe},
 year         = {1978},
 title        = {A necessary and sufficient pumping lemma for regular languages},
 journal      = {SIGACT News},
 volume       = {10},
 number       = {2},
 pages        = {48--49},
 doi          = {10.1145/990524.990528},
)
@book(Ko97,
 author       = {D. C. Kozen},
 year         = {1997},
 title        = {Automata and Computability},
 series       = {Undergraduate Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-1844-9},
)
@article(Ni82,
 author       = {A. Nijholt},
 year         = {1982},
 title        = {{YABBER}---Yet Another Bibliography: Pumping Lemma's. {A}n Annotated Bibliography of Pumping},
 journal      = {Bull. EATCS},
 volume       = {17},
 pages        = {34--53},
)
@article(RaSc59,
 author       = {M. O. Rabin and D. Scott},
 year         = {1959},
 title        = {Finite Automata and Their Decision Problems},
 journal      = {IBM J. Res. Dev.},
 volume       = {3},
 pages        = {114--125},
 doi          = {10.1147/rd.32.0114},
)
@book(Sa82,
 author       = {W. J. Savitch},
 year         = {1982},
 title        = {Abstract Machines and Grammars},
 publisher    = {Little, Brown and Company},
)