@article(Primtest,
 author       = "M. Agrawal and N. Kayal and N. Saxena",
 year         = "2004",
 title        = "PRIMES is in P.",
 journal      = "Annals of mathematics",
 pages        = "781--793",
 url          = "http://dx.doi.org/10.4007/annals.2004.160.781",
)
@article(heuristic,
 author       = "J. Amilhastre and P. Janssen and M-C. Vilarem",
 year         = "2001",
 title        = "FA Minimisation Heuristics for a Class of Finite Languages",
 journal      = "Lecture Notes in Computer Science",
 volume       = "2214",
 pages        = "1 -- 12",
 url          = "http://dx.doi.org/10.1007/3-540-45526-4_1",
)
@article(birget,
 author       = "J.-C. Birget",
 year         = "1992",
 title        = "Intersection and union of regular languages and state complexity",
 journal      = "Information Processing Letters",
 volume       = "43",
 pages        = "185--190",
 url          = "http://dx.doi.org/10.1016/0020-0190(92)90198-5",
)
@article(gapIJFCS,
 author       = "C. C\^ampeanu and A. P\u aun and S. Yu",
 year         = "2002",
 title        = "An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages",
 journal      = "International Journal of Foundations of Computer Science",
 volume       = "13",
 number       = "1",
 pages        = "83 -- 97",
 url          = "http://dx.doi.org/10.1142/S0129054102000960",
)
@article(finiteop,
 author       = "C. C\^ampeanu and K. Culik II and K. Salomaa and S. Yu",
 year         = "2001",
 title        = "State complexity of basic operations on finite languages",
 journal      = "Lecture Notes in Computer Science",
 volume       = "2214",
 pages        = "60--70",
 url          = "http://dx.doi.org/10.1007/3-540-45526-4_6",
)
@article(CoverAutomata,
 author       = "C. C\^ampeanu and N. Santean and S. Yu",
 year         = "1986",
 title        = "Minimal cover-automata for finite languages",
 journal      = "Theoretical Computer Science",
 volume       = "267",
 number       = "1-2",
 pages        = "3--16",
 url          = "http://dx.doi.org/10.1016/S0304-3975(00)00292-9",
)
@article(Chrobak,
 author       = "M. Chrobak",
 year         = "1986",
 title        = "Finite Automata and Unary Languages",
 journal      = "Theoretical Computer Science",
 volume       = "47",
 number       = "2",
 pages        = "149--158",
 url          = "http://dx.doi.org/10.1016/0304-3975(86)90142-8",
)
@article(gramlich,
 author       = "G.Gramlich",
 year         = "2003",
 title        = "Probabilistic and Nondeterministic Unary Automata",
 journal      = "Lecture Notes in Computer Science",
 volume       = "2747",
 pages        = "460 -- 469",
 url          = "http://dx.doi.org/10.1007/978-3-540-45138-9_40",
)
@article(Shallit,
 author       = "I. Glaister and J. Shallit",
 year         = "1996",
 title        = "A lower bound technique for the size of nondeterministic finite automata",
 journal      = "Information Processing Letters",
 volume       = "59",
 pages        = "75 -- 77",
 url          = "http://dx.doi.org/10.1016/0020-0190(96)00095-6",
)
@article(GruberHolzerNFAHard,
 author       = "H. Gruber and M. Holzer",
 year         = "2006",
 title        = "Finding lower bounds for nondeterministic state complexity is hard",
 journal      = "Lecture Notes in Computer Science",
 volume       = "4036",
 pages        = "363--374",
 url          = "http://dx.doi.org/10.1007/11779148_33",
)
@article(gruberholzerunary,
 author       = "H. Gruber and M. Holzer",
 year         = "2007",
 title        = "Computational Complexity of NFA Minimization for Finite and Unary Languages",
 journal      = "LATA",
 volume       = "8",
 pages        = "261--272",
 url          = "http://www2.tcs.ifi.lmu.de/~gruberh/data/lata07-submission.pdf",
)
@article(holzerKutribNFA,
 author       = "M. Holzer and M. Kutrib",
 year         = "2003",
 title        = "State complexity of basic operations on nondeterministic finite automata",
 journal      = "Lecture Notes in Computer Science",
 volume       = "2608",
 pages        = "148--157",
 url          = "http://dx.doi.org/10.1007/3-540-44977-9_14",
)
@article(holzerKutribUnary,
 author       = "M. Holzer and M. Kutrib",
 year         = "2003",
 title        = "Unary language operations and their nondeterministic state complexity",
 journal      = "Lecture Notes in Computer Science",
 volume       = "2450",
 pages        = "162--172",
 url          = "http://dx.doi.org/10.1007/3-540-45005-X_14",
)
@article(holzerKutribLata09,
 author       = "M. Holzer and M. Kutrib",
 year         = "2009",
 title        = "Descriptional and computational complexity of finite automata",
 journal      = "Lecture Notes in Computer Science",
 volume       = "5457",
 pages        = "23--42",
 url          = "http://dx.doi.org/10.1007/978-3-642-00982-2_3",
)
@article(holzerKutribNFA09,
 author       = "M. Holzer and M. Kutrib",
 year         = "2009",
 title        = "Nondeterministic finite automata - recent results on the descriptional and computational complexity",
 journal      = "Int. J. Found. Comput. Sci",
 volume       = "20",
 number       = "4",
 pages        = "563--580",
 url          = "http://dx.doi.org/10.1142/S0129054109006747",
)
@incollection(hopcroft,
 author       = "John Hopcroft",
 year         = "1971",
 title        = "An $n \mathop {\mathgroup \symoperators log}\nolimits n$ Algorithm for Minimizing States in a Finite Automaton",
 editor       = "Z. Kohavi and A. Paz",
 booktitle    = "Theory of Machines and Computations",
 publisher    = "Academic Press, New York",
 pages        = "189--196",
)
@book(hopcroft79,
 author       = "John E. Hopcroft and Jeffrey D. Ullman",
 year         = "1979",
 title        = "Introduction to Automata Theory, Languages and Computation",
 publisher    = "Addison-Wesley",
)
@article(ilieYunfa,
 author       = "L. Ilie and G. Navarro and S. Yu",
 year         = "2004",
 title        = "On NFA reductions",
 journal      = "Lecture Notes in Computer Science Volume: Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday",
 volume       = "3113",
 pages        = "112--124",
 url          = "http://dx.doi.org/10.1007/978-3-540-27812-2_11",
)
@article(ravikumar,
 author       = "T. Jiang and B. Ravikumar",
 year         = "1993",
 title        = "NFA minimization problems are hard",
 journal      = "SIAM Journal on Computing",
 volume       = "22",
 number       = "1",
 pages        = "117--141",
)
@book(china,
 author       = "N. Koblitz",
 year         = "1994",
 title        = "A Course in Number Theory and Criptography",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-1-4419-8592-7",
)
@article(KornerGoeman,
 author       = "H. K\IeC {\"o}rner",
 year         = "2003",
 title        = "A Time and Space Efficient Algorithm for Minimizing Cover Automata for Finite Languages",
 journal      = "International Journal of Foundations of Computer Science",
 volume       = "14",
 number       = "6",
 pages        = "1071--1086",
 url          = "http://dx.doi.org/10.1142/S0129054103002187",
)
@article(maslov,
 author       = "A. N. Maslov",
 year         = "1970",
 title        = "Estimates of the number of states of finite automata",
 journal      = "Soviet Mathematics Doklady",
 volume       = "11",
 pages        = "1373--1374",
)
@article(maslov1,
 author       = "A. N. Maslov",
 year         = "1973",
 title        = "Cyclic shift operation for languages",
 journal      = "Probl. Inf. Transm",
 volume       = "9",
 pages        = "333--338",
)
@article(pighizzini,
 author       = "F. Mera and G. Pighizzini",
 year         = "2005",
 title        = "Complementing unary nondeterministic automata",
 journal      = "Theoretical Computer Science",
 volume       = "330",
 pages        = "349--360",
 url          = "http://dx.doi.org/10.1016/j.tcs.2004.04.015",
)
@article(moore,
 author       = "E. F. Moore",
 year         = "1956",
 title        = "Gedanken-experiments on sequential machines",
 journal      = "Automata studies, Annals of mathematics studies",
 volume       = "34",
 pages        = "129--153",
)
@article(revuz,
 author       = "D. Revuz",
 year         = "1992",
 title        = "Minimisation of acyclic deterministic automata in linear time",
 journal      = "Theoretical Computer Science",
 volume       = "92",
 number       = "1",
 pages        = "181 -- 189",
 url          = "http://dx.doi.org/10.1147/rd.32.0114",
)
@article(KaiShengsc92,
 author       = "S. Yu and K. Salomaa and Q. Zhuang",
 year         = "1994",
 title        = "The state complexities of some basic operations on regular languages",
 journal      = "Theoretical Computer Science",
 volume       = "125",
 number       = "2",
 pages        = "315--328",
 url          = "http://dx.doi.org/10.1016/0304-3975(92)00011-F",
)