@article(bl80,
 author       = {J.A. Brzozowski and E.L. Leiss},
 year         = {1980},
 title        = {On equations for regular languages, finite automata, and sequential networks},
 journal      = {Theor. Comput. Sci.},
 volume       = {10},
 pages        = {19--35},
 doi          = {10.1016/0304-3975(80)90069-9},
)
@article(ck81,
 author       = {A.K. Chandra and D. Kozen and L.J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {J. {ACM}},
 volume       = {28},
 number       = {1},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@article(fjy90,
 author       = {Abdelaziz Fellah and Helmut J{\"{u}}rgensen and Sheng Yu},
 year         = {1990},
 title        = {Constructions for alternating finite automata},
 journal      = {Int. J. Comput. Math.},
 volume       = {35},
 number       = {1-4},
 pages        = {117--132},
 doi          = {10.1080/00207169008803893},
)
@article(ho21,
 author       = {M. Hospod{\'{a}}r},
 year         = {2021},
 title        = {Power, positive closure, and quotients on convex languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {870},
 pages        = {53--74},
 doi          = {10.1016/j.tcs.2021.02.002},
)
@article(hj18,
 author       = {M. Hospod{\'{a}}r and G. Jir{\'{a}}skov{\'{a}}},
 year         = {2018},
 title        = {The complexity of concatenation on deterministic and alternating finite automata},
 journal      = {{RAIRO} Theor. Informatics Appl.},
 volume       = {52},
 number       = {2-3-4},
 pages        = {153--168},
 doi          = {10.1051/ita/2018011},
)
@inproceedings(hjk18,
 author       = {M. Hospod{\'{a}}r and G. Jir{\'{a}}skov{\'{a}} and Kraj\v{n}{\'{a}}kov{\'{a}}, I.},
 year         = {2018},
 title        = {Operations on {B}oolean and alternating finite automata},
 editor       = {F.V. Fomin and V.V. Podolskii},
 booktitle    = {{CSR} 2018},
 series       = {LNCS, vol.},
 volume       = {10846},
 publisher    = {Springer},
 pages        = {181--193},
 doi          = {10.1007/978-3-319-90530-3\_16},
)
@inproceedings(ji12,
 author       = {G. Jir{\'{a}}skov{\'{a}}},
 year         = {2012},
 title        = {Descriptional complexity of operations on alternating and {B}oolean automata},
 editor       = {E.A. Hirsch and J. Karhum{\"{a}}ki and A. Lepist{\"{o}} and M. Prilutskii},
 booktitle    = {{CSR} 2012},
 series       = {LNCS, vol.},
 volume       = {7353},
 publisher    = {Springer},
 pages        = {196--204},
 doi          = {10.1007/978-3-642-30642-6\_19},
)
@article(jk19,
 author       = {G. Jir{\'{a}}skov{\'{a}} and Kraj\v{n}{\'{a}}kov{\'{a}}, I.},
 year         = {2019},
 title        = {Square on deterministic, alternating, and Boolean finite automata},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {30},
 number       = {6-7},
 pages        = {1117--1134},
 doi          = {10.1142/S0129054119400318},
)
@article(js12,
 author       = {G. Jir{\'{a}}skov{\'{a}} and \v{S}ebej, J.},
 year         = {2012},
 title        = {Reversal of binary regular languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {449},
 pages        = {85--92},
 doi          = {10.1016/j.tcs.2012.05.008},
)
@inproceedings(ko76,
 author       = {D. Kozen},
 year         = {1976},
 title        = {On parallelism in {T}uring machines},
 booktitle    = {17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25-27 October 1976},
 publisher    = {{IEEE} Computer Society},
 pages        = {89--97},
 doi          = {10.1109/SFCS.1976.20},
)
@phdthesis(kr20,
 author       = {Kraj\v{n}\'akov\'a, I.},
 year         = {2020},
 title        = {Finite Automata and Operational Complexity},
 school       = {Comenius University in Bratislava, Faculty of Mathematics, Physics and Informatics},
 url          = {https://www.mat.savba.sk/musav/autoreferaty/Krajnakova-dizertacna_praca.pdf},
)
@article(le81,
 author       = {E.L. Leiss},
 year         = {1981},
 title        = {Succint representation of regular languages by {B}oolean automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {13},
 pages        = {323--330},
 doi          = {10.1016/S0304-3975(81)80005-9},
)
@article(ma70,
 author       = {A. N. Maslov},
 year         = {1970},
 title        = {Estimates of the number of states of finite automata},
 journal      = {Soviet Math. Doklady},
 volume       = {11},
 number       = {5},
 pages        = {1373--1375},
 url          = {https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=35742&option_lang=eng},
)
@article(pa16,
 author       = {M. Palmovsk{\'{y}}},
 year         = {2016},
 title        = {Kleene closure and state complexity},
 journal      = {{RAIRO} Theor. Informatics Appl.},
 volume       = {50},
 number       = {3},
 pages        = {251--261},
 doi          = {10.1051/ita/2016024},
)
@incollection(yu97,
 author       = {S. Yu},
 year         = {1997},
 title        = {Regular Languages},
 editor       = {G. Rozenberg and A. Salomaa},
 booktitle    = {Handbook of Formal Languages, Volume 1: Word, Language, Grammar},
 publisher    = {Springer},
 pages        = {41--110},
 doi          = {10.1007/978-3-642-59136-5\_2},
)