@inproceedings(Crestani,
 author       = {Marcus Crestani and Michael Sperber},
 year         = {2010},
 title        = {Experience Report: Growing Programming Languages for Beginning Students},
 booktitle    = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '10},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {229--234},
 doi          = {10.1145/1863543.1863576},
)
@inproceedings(Hsia,
 author       = {James I. Hsia and Elspeth Simpson and Daniel Smith and Robert Cartwright},
 year         = {2005},
 title        = {Taming Java for the Classroom},
 booktitle    = {Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education},
 series       = {SIGCSE '05},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {327--331},
 doi          = {10.1145/1047344.1047459},
)
@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},
)
@inproceedings(Marceau,
 author       = {Guillaume Marceau and Kathi Fisler and Shriram Krishnamurthi},
 year         = {2011},
 title        = {Measuring the Effectiveness of Error Messages Designed for Novice Programmers},
 booktitle    = {Proceedings of the 42Nd ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '11},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {499--504},
 doi          = {10.1145/1953163.1953308},
)
@inproceedings(Mind,
 author       = {Guillaume Marceau and Kathi Fisler and Shriram Krishnamurthi},
 year         = {2011},
 title        = {Mind Your Language: On Novices' Interactions with Error Messages},
 booktitle    = {Proceedings of the 10th SIGPLAN Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
 series       = {Onward! 2011},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {3--18},
 doi          = {10.1145/2048237.2048241},
)
@book(Martin,
 author       = {John C. Martin},
 year         = {2003},
 title        = {Introduction to Languages and the Theory of Computation},
 edition      = {3},
 publisher    = {McGraw-Hill, Inc.},
 address      = {New York, NY, USA},
)
@inproceedings(McIver,
 author       = {Linda McIver and Damian Conway},
 year         = {1996},
 title        = {Seven Deadly Sins of Introductory Programming Language Design},
 booktitle    = {Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)},
 series       = {SEEP '96},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {309--316},
 doi          = {10.1109/SEEP.1996.534015},
)
@inproceedings(fsm,
 author       = {Marco T. Moraz{\'{a}} 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(Munson,
 author       = {Jonathan P. Munson and Elizabeth A. Schilling},
 year         = {2016},
 title        = {Analyzing Novice Programmers' Response to Compiler Error Messages},
 journal      = {J. Comput. Sci. Coll.},
 volume       = {31},
 number       = {3},
 pages        = {53--61},
 url          = {http://dl.acm.org/citation.cfm?id=2835377.2835386},
)
@inproceedings(Nienaltowski,
 author       = {Marie-H{\'e}l\`{e}ne Nienaltowski and Michela Pedroni and Bertrand Meyer},
 year         = {2008},
 title        = {Compiler Error Messages: What Can Help Novices?},
 booktitle    = {Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education},
 series       = {SIGCSE '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {168--172},
 doi          = {10.1145/1352135.1352192},
)
@misc(Race,
 author       = {Phil Race},
 year         = {2005},
 title        = {{Using Feedback to Help Students Learn}},
 howpublished = {https://www.heacademy.ac.uk/knowledge-hub/using-feedback-help-students-learn},
)
@article(Schiliep,
 author       = {Paul A. Schiliep},
 year         = {2015},
 title        = {Usability of Error Messages for Introductory Students},
 journal      = {Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal},
 volume       = {2},
 number       = {2},
 pages        = {Article 5},
 url          = {http://digitalcommons.morris.umn.edu/horizons/vol2/iss2/5},
)
@book(Sipser,
 author       = {Michael Sipser},
 year         = {2013},
 title        = {Introduction to the Theory of Computation},
 edition      = {3rd},
 publisher    = {Cengage Learning},
)
@article(Traver,
 author       = {V. Javier Traver},
 year         = {2010},
 title        = {On Compiler Error Messages: What They Say and What They Mean},
 journal      = {Adv. in Hum.-Comp. Int.},
 volume       = {2010},
 pages        = {3:1--3:26},
 doi          = {10.1155/2010/602570},
)