@inproceedings(Brown,
 author       = "Christopher W. Brown and Eric A. Hardisty",
 year         = "2007",
 title        = "RegeXeX: an interactive system providing regular expression exercises",
 booktitle    = "SIGCSE '07: Proceedinds of the 38th SIGCSE technical symposium on Computer science education",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "445--449",
 doi          = "10.1145/1227310.1227462",
)
@inproceedings(Eastlund,
 author       = "Carl Eastlund and Matthias Felleisen",
 year         = "2009",
 title        = "Automatic Verification for Interactive Graphical Programs",
 booktitle    = "Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications",
 series       = "ACL2 '09",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "33--41",
 doi          = "10.1145/1637837.1637843",
)
@article(Grinder,
 author       = "Michael T. Grinder",
 year         = "2003",
 title        = "A Preliminary Empirical Evaluation of the Effectiveness of a Finite State Automaton Animator",
 journal      = "SIGCSE Bull.",
 volume       = "35",
 number       = "1",
 pages        = "157--161",
 doi          = "10.1145/792548.611958",
)
@article(AutomataMacros,
 author       = "Shriram Krishnamurthi",
 year         = "2006",
 title        = "EDUCATIONAL PEARL: Automata via Macros",
 journal      = "J. Funct. Program.",
 volume       = "16",
 number       = "3",
 pages        = "253--267",
 doi          = "10.1017/S0956796805005733",
)
@book(Lewis,
 author       = "Harry R. Lewis and Christos H. Papadimitriou",
 year         = "1997",
 title        = "Elements of the Theory of Computation",
 edition      = "2nd",
 publisher    = "Prentice Hall PTR",
 address      = "Upper Saddle River, NJ, USA",
)
@book(Linz,
 author       = "P. Linz",
 year         = "2012",
 title        = "An Introduction to Formal Languages and Automata",
 edition      = "5th",
 publisher    = "Jones \& Bartlett Learning",
)
@book(Martin,
 author       = "J.C. Martin",
 year         = "2003",
 title        = "Introduction to Languages and the Theory of Computation",
 series       = "McGraw-Hill Series in Computer Science",
 publisher    = "McGraw-Hill",
)
@manual(Coq,
 author       = "\unhbox \voidb@x \hbox {The Coq Development Team}",
 year         = "2004",
 title        = "The Coq Proof Assitance Reference Manual",
 organization = "LogiCal Project",
 url          = "http://coq.inria.fr",
 note         = "Version 8.0",
)
@misc(Race,
 author       = "Phil Race",
 year         = "2001",
 title        = "Using Feedback to Help Students Learn",
 url          = "http://www.heacademy.ac.uk/resources/detail/resource_database/id432_using_feedback",
)
@article(Rodger,
 author       = "Susan H. Rodger and Eric Wiebe and Kyung Min Lee and Chris Morgan and Kareem Omar and Jonathan Su",
 year         = "2009",
 title        = "Increasing Engagement in Automata Theory with JFLAP",
 journal      = "SIGCSE Bull.",
 volume       = "41",
 number       = "1",
 pages        = "403--407",
 doi          = "10.1145/1539024.1509011",
)
@book(Sipser,
 author       = "Michael Sipser",
 year         = "2013",
 title        = "Introduction to the Theory of Computation",
 edition      = "3rd",
 publisher    = "Cengage Learning",
)
@inproceedings(White,
 author       = "Timothy M. White and Thomas P. Way",
 year         = "2006",
 title        = "jfast: A java finite automata simulator",
 booktitle    = "In Thirty-seventh SIGCSE Technical Symposium on Computer Science Education",
 pages        = "384--388",
 doi          = "10.1145/1121341.1121460",
)