@book(Baase,
 author       = {Sara Baase},
 year         = {1988},
 title        = {{Computer Algorithms: Introduction to Design and Analysis}},
 edition      = {2nd},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@book(HtDP,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
 year         = {2001},
 title        = {{How to Design Programs: An Introduction to Programming and Computing}},
 edition      = {{First}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@book(HtDP2,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
 year         = {2018},
 title        = {{How to Design Programs: An Introduction to Programming and Computing}},
 edition      = {{Second}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@article(PPL,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barsilay and Jay McCarthy and Tobin-Hochstadt, Sam},
 year         = {2018},
 title        = {{A Programmable Programming Language}},
 journal      = {Commun. ACM},
 volume       = {61},
 number       = {13},
 pages        = {62--71},
 doi          = {10.1145/3127223},
)
@book(Gopal,
 author       = {Ganesh Gopalakrishnan},
 year         = {2006},
 title        = {{Computation Engineering}},
 edition      = {1st},
 publisher    = {Springer-Verlag US},
 address      = {USA},
)
@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(Hoare,
 author       = {C. A. R. Hoare},
 year         = {1969},
 title        = {An Axiomatic Basis for Computer Programming},
 journal      = {Commun. ACM},
 volume       = {12},
 number       = {10},
 pages        = {576--580},
 doi          = {10.1145/363235.363259},
)
@inproceedings(Hughes,
 author       = {John Hughes},
 year         = {2016},
 title        = {{Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane}},
 editor       = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella},
 booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {9600},
 publisher    = {Springer},
 pages        = {169--186},
 doi          = {10.1007/978-3-319-30936-1\_9},
)
@article(KMP,
 author       = {Donald E. Knuth and James H. Morris and Vaughan R. Pratt},
 year         = {1977},
 title        = {{Fast Pattern Matching in Strings}},
 journal      = {SIAM Journal on Computing},
 volume       = {6},
 number       = {2},
 pages        = {323--350},
 doi          = {10.1137/0206024},
)
@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},
 doi          = {10.1145/300307.1040360},
)
@book(Linz,
 author       = {Peter Linz},
 year         = {2011},
 title        = {{An Introduction to Formal Languages and Automata}},
 edition      = {5th},
 publisher    = {Jones and Bartlett Publishers, Inc.},
 address      = {USA},
)
@inproceedings(Mor7,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2010},
 title        = {{Functional Video Games in the CS1 Classroom}},
 editor       = {Rex L. Page and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k},
 booktitle    = {Trends in Functional Programming - 11th International Symposium, {TFP} 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6546},
 publisher    = {Springer},
 pages        = {166--183},
 doi          = {10.1007/978-3-642-22941-1\_11},
)
@inproceedings(Mor6,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2011},
 title        = {{Functional Video Games in CS1 II}},
 editor       = {Pe{\~{n}}a, Ricardo and Rex L. Page},
 booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP} 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {7193},
 publisher    = {Springer},
 pages        = {146--162},
 doi          = {10.1007/978-3-642-32037-8\_10},
)
@inproceedings(Mor5,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2013},
 title        = {{Functional Video Games in {CS1} {III} - Distributed Programming for Beginners}},
 editor       = {Jay McCarthy},
 booktitle    = {Trends in Functional Programming - 14th International Symposium, {TFP} 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8322},
 publisher    = {Springer},
 pages        = {149--167},
 doi          = {10.1007/978-3-642-45340-3\_10},
)
@article(Mor4,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2015},
 title        = {{Generative and accumulative recursion made fun for beginners}},
 journal      = {Comput. Lang. Syst. Struct.},
 volume       = {44},
 pages        = {181--197},
 doi          = {10.1016/j.cl.2015.08.001},
)
@inproceedings(Mor3,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2017},
 title        = {{Vector Programming Using Structural Recursion}},
 editor       = {Simon Thompson},
 booktitle    = {Proceedings Sixth Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
 series       = {{EPTCS}},
 volume       = {270},
 pages        = {1--17},
 doi          = {10.4204/EPTCS.270.1},
)
@article(Mor1,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2018},
 title        = {{Infusing an HtDP-based {CS1} with Distributed Programming Using Functional Video Games}},
 journal      = {J. Funct. Program.},
 volume       = {28},
 pages        = {e5},
 doi          = {10.1017/S0956796818000059},
)
@inproceedings(Mor2,
 author       = {Marco T. Moraz{\'{a}}n},
 year         = {2018},
 title        = {{Vector Programming Using Generative Recursion}},
 editor       = {Peter Achten and Heather Miller},
 booktitle    = {Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018},
 series       = {{EPTCS}},
 volume       = {295},
 pages        = {35--51},
 doi          = {10.4204/EPTCS.295.3},
)
@inproceedings(fsm,
 author       = {Marco T. Moraz{\'{a}n} and Rosario Antunez},
 year         = {2014},
 title        = {Functional Automata - Formal Languages for Computer Science Students},
 editor       = {James Caldwell and Philip K. F. H{\"{o}}lzenspies and Peter Achten},
 booktitle    = {Proceedings 3$^{rd}$ International Workshop on Trends in Functional Programming in Education},
 series       = {{EPTCS}},
 volume       = {170},
 pages        = {19--32},
 doi          = {10.4204/EPTCS.170.2},
)
@article(fsmerrors,
 author       = {Marco T. Moraz{\'{a}}n and {Des Rosiers}, Josephine A.},
 year         = {2019},
 title        = {{FSM} Error Messages},
 journal      = {EPTCS},
 volume       = {295},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.295.1},
 url          = {https://arxiv.org/abs/1906.11421v1},
)
@book(Mozgovoy,
 author       = {Maxim Mozgovoy},
 year         = {2009},
 title        = {{Algorithms, Languages, Automata, \& Compilers: A Practical Approach}},
 edition      = {1st},
 publisher    = {Jones and Bartlett Publishers, Inc.},
 address      = {USA},
)
@book(Rich,
 author       = {Elaine Rich},
 year         = {2019},
 title        = {Automata, Computability and Complexity: Theory and Applications},
 publisher    = {Pearson Prentice Hall},
)
@book(Rodger,
 author       = {Susan H. Rodger},
 year         = {2006},
 title        = {{JFLAP: An Interactive Formal Languages and Automata Package}},
 publisher    = {Jones and Bartlett Publishers, Inc.},
 address      = {USA},
)
@book(Garcia,
 author       = {Tom{\'{a}}s Garc{\'{i}}a Saiz and Elena Gaudioso V{\'{a}}zquez},
 year         = {2010},
 title        = {{Aut{\'{o}}matas, Gram{\'{a}}ticas, y Lenguages Formales: Problemas Resueltos}},
 edition      = {1st},
 publisher    = {Sanz Y Torres, S. L.},
 address      = {Espa{\~{n}}a},
)
@book(Scott,
 author       = {Michael L. Scott},
 year         = {2000},
 title        = {Programming Language Pragmatics},
 edition      = {1},
 publisher    = {Morgan Kaufmann Publishers},
)
@article(White,
 author       = {Timothy M. White and Thomas P. Way},
 year         = {2006},
 title        = {{jFAST: A Java Finite Automata Simulator}},
 journal      = {SIGCSE Bull.},
 volume       = {38},
 number       = {1},
 pages        = {384--388},
 doi          = {10.1145/1124706.1121460},
)