@book(B70,
 author       = "Trakhtenbrot~B. Barzdins~J.",
 title        = "Finite Automata: Behavior and synthesis",
 publisher    = "Science",
 address      = "Moscow",
)
@article(S01,
 author       = "Michael Domaratzki and Derek Kisman and Jeffrey Shallit",
 year         = "2002",
 title        = "On the number of distinct languages accepted by finite automata with $n$ states",
 journal      = "Journal of Automata, Languages and Combinatorics",
 volume       = "7",
 number       = "4",
 pages        = "469--486",
)
@article(G05,
 author       = "Gregor Gramlich and Georg Schnitger",
 year         = "2007",
 title        = "Minimizing nfa's and regular expressions",
 journal      = "Journal of Computer and System Sciences",
 volume       = "73",
 number       = "6",
 pages        = "908 -- 923",
 doi          = "10.1016/j.jcss.2006.11.002",
)
@article(M55,
 author       = "Mealy~George H.",
 year         = "1955",
 title        = "A method for synthesizing sequential circuits",
 journal      = "Bell System Technical Journal",
 volume       = "34",
 number       = "5",
 pages        = "1045--1079",
 doi          = "10.1002/j.1538-7305.1955.tb03788.x",
)
@book(H79,
 author       = "{J.E.} Hopcroft and {J.D. Ullman}",
 year         = "1979",
 title        = "Introduction to Automata Theory, Languages and Computation",
 publisher    = "Addison-Wesley, Cambridge",
)
@article(H71,
 author       = "John Hopcroft",
 year         = "1971",
 title        = "An $n \qopname \relax o{log}n$ Algorithm for Minimizing States in a Finite Automaton",
 journal      = "Theory of Machines and Computations",
 pages        = "189--196",
)
@book(L84,
 author       = "Lupanov O.B.",
 year         = "1984",
 title        = "Asymptotic Estimates of Complexity of Control Systems",
 publisher    = "Moscow University Press",
)
@book(TR09,
 author       = "Tao R.",
 year         = "2009",
 title        = "Finite Automata and Application to Cryptography",
 publisher    = "Springer",
)
@inproceedings(V11,
 author       = "Maris Valdats",
 year         = "2011",
 title        = "Transition Function Complexity of Finite Automata.",
 editor       = "Markus Holzer and Martin Kutrib and Giovanni Pighizzini",
 booktitle    = "Proc. of DCFS",
 series       = "Lecture Notes in Computer Science",
 volume       = "6808",
 publisher    = "Springer",
 pages        = "301--313",
 doi          = "10.1007/978-3-642-22600-7",
)
@article(SY00,
 author       = "Sheng Yu",
 year         = "2000",
 title        = "State Complexity of Regular Languages",
 journal      = "Journal of Automata, Languages and Combinatorics",
 volume       = "6",
 pages        = "221--234",
)