@incollection(praktomat16,
 author       = {Joachim Breitner and Martin Hecker and Gregor Snelting},
 year         = {2017},
 title        = {Der {Grader} {Praktomat}},
 editor       = {O. J. Bott},
 booktitle    = {{Automatisierte} {Bewertung} in der {Programmierausbildung}},
 series       = {Digitale Medien in der Hochschullehre},
 volume       = {6},
 publisher    = {Waxmann Verlag GmbH},
 address      = {M{\"u}nster, Germany},
 pages        = {159--172},
 url          = {https://www.waxmann.com/automatisiertebewertung/},
)
@inproceedings(Brzozowski:minimisation62,
 author       = {Janusz A. Brzozowski},
 year         = {1962},
 title        = {Canonical Regular Expressions and Minimal State Graphs for Definite Events},
 booktitle    = {Proceedings of the Symposium on Mathematical Theory of Automata},
 series       = {MRI Symposia},
 volume       = {12},
 publisher    = {Polytechnic Institute of Brooklyn, NY},
 pages        = {529--561},
)
@article(Brzozowski64,
 author       = {Janusz A. Brzozowski},
 year         = {1964},
 title        = {Derivatives of Regular Expressions},
 journal      = {Journal of the ACM},
 volume       = {11},
 number       = {4},
 pages        = {481--494},
 doi          = {10.1145/321239.321249},
)
@misc(cyp13,
 title        = {Cyp---{Checker} for ``Morally Correct'' Induction Proofs about {Haskell} Programs},
 url          = {https://github.com/noschinl/cyp},
 note         = {Retrieved Apr 2022},
)
@misc(cyp22,
 title        = {Cyp---for Use with {Leipzig} Autotool},
 url          = {https://gitlab.imn.htwk-leipzig.de/waldmann/cyp},
 note         = {Retrieved Apr 2022},
)
@article(D'Antoni+2015a,
 author       = {Loris D'Antoni and Dileep Kini and Rajeev Alur and Sumit Gulwani and Mahesh Viswanathan and Bj{\"o}rn Hartmann},
 year         = {2015},
 title        = {How Can Automatic Feedback Help Students Construct Automata?},
 journal      = {ACM Transactions on Computer-Human Interaction},
 volume       = {22},
 number       = {2},
 doi          = {10.1145/2723163},
)
@book(Doets2004,
 author       = {Kees Doets and {van Eijck}, Jan},
 year         = {2004},
 title        = {The {Haskell} Road to Logic, Maths and Programming},
 publisher    = {King's College Publ.},
)
@unpublished(Farrugia+2022,
 author       = {Farrugia-Roberts, Matthew and Bryn Jeffries and S{\o}ndergaard, Harald},
 year         = {2022},
 title        = {Programming to Learn: Logic and Computation from a Programming Perspective},
 doi          = {10.1145/3502718.3524814},
 note         = {To appear in \emph{Proceedings of the 27th ACM Conference on Information Technology in Computer Science Education}, Dublin, July},
)
@misc(grok,
 title        = {{G}rok {A}cademy webpage},
 howpublished = {\url{https://grokacademy.org/}},
 note         = {Retrieved Feb 2022},
)
@misc(haskell,
 title        = {{Haskell} webpage},
 howpublished = {\url{https://www.haskell.org/}},
 note         = {Retrieved Apr 2022},
)
@inproceedings(HendersonTFPiE2002,
 author       = {Peter B. Henderson},
 year         = {2002},
 title        = {Functional and Declarative Languages for Learning Discrete Mathematics},
 booktitle    = {Proceedings of the International Workshop on Functional and Declarative Programming in Education},
 note         = {Available from \url{https://www.informatik.uni-kiel.de/~mh/publications/reports/fdpe02/}},
)
@article(hendriks2010,
 author       = {Maxim Hendriks and Cezary Kaliszyk and Van Raamsdonk, Femke and Freek Wiedijk},
 year         = {2010},
 title        = {Teaching Logic Using a State-of-the-Art Proof Assistant},
 journal      = {Acta Didactica Napocensia},
 volume       = {3},
 number       = {2},
 pages        = {35--48},
)
@inproceedings(KappelmannTFPIE22,
 author       = {Kevin Kappelmann and Jonas R{\"a}dle and Lukas Stevens},
 year         = {2022},
 title        = {Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space},
 series       = {this volume of EPTCS},
 publisher    = {Open Publishing Association},
)
@misc(handbook,
 title        = {{Models} of {Computation} ({COMP30026}) --- {The} {University} of {Melbourne} {Handbook} (2021)},
 howpublished = {\url{https://handbook.unimelb.edu.au/2021/subjects/comp30026}},
 note         = {Retrieved Feb 2022},
)
@inproceedings(fsm2014,
 author       = {Marco T. Moraz{\'a}n and Rosario Antunez},
 year         = {2014},
 title        = {Functional Automata: Formal Languages for Computer Science Students},
 editor       = {J. Caldwell and P. H{\"o}lzenspies and P. Achten},
 booktitle    = {Proceedings of the Third International Workshop on Trends in Functional Programming in Education (TFPIE 2014)},
 series       = {EPTCS},
 volume       = {170},
 pages        = {19--32},
 doi          = {10.4204/EPTCS.170.2},
)
@inproceedings(nagy04-regular,
 author       = {Benedek Nagy},
 year         = {2004},
 title        = {A Normal Form for Regular Expressions},
 booktitle    = {Supplemental Papers for the 8th International Conference on Developments in Language Technology},
 series       = {CDMTCS Research Report},
 pages        = {53--62},
)
@inproceedings(nipkow2012,
 author       = {Tobias Nipkow},
 year         = {2012},
 title        = {Teaching Semantics with a Proof Assistant: No More {LSD} Trip Proofs},
 booktitle    = {Verification, Model Checking, and Abstract Interpretation},
 series       = {LNCS},
 volume       = {7148},
 publisher    = {Springer},
 pages        = {24--38},
 doi          = {10.1007/978-3-642-27940-9_3},
)
@book(ODonnellHallPage2006,
 author       = {John {O'Donnell} and Cordelia Hall and Rex Page},
 year         = {2006},
 title        = {Discrete Mathematics Using a Computer},
 publisher    = {Springer},
)
@inproceedings(osera2013,
 author       = {Peter-Michael Osera and Steve Zdancewic},
 year         = {2013},
 title        = {Teaching Induction with Functional Programming and a Proof Assistant},
 booktitle    = {SPLASH Educators Symposium (SPLASH-E)},
)
@article(Paiva22,
 author       = {Jose{\'e} Carlos Paiva and Jose{\'e} Paulo Leal and {\'A}lvaro Figueira},
 year         = {2022},
 title        = {Automated Assessment in Computer Science Education: A State-of-the-Art Review},
 journal      = {ACM Transactions on Computing Education},
 volume       = {22},
 number       = {3},
 pages        = {34:1--34:40},
 doi          = {10.1145/3513140},
)
@book(Post:func-compl41,
 author       = {Emil L. Post},
 year         = {1941},
 title        = {The Two-Valued Iterative Systems of Mathematical Logic},
 publisher    = {Princeton University Press},
)
@inproceedings(autotool2002,
 author       = {Mirko Rahn and Johannes Waldmann},
 year         = {2002},
 title        = {The {Leipzig} {\tt autotool} System for Grading Student Homework},
 booktitle    = {Proceedings of the International Workshop on Functional and Declarative Programming in Education},
 note         = {Available from \url{https://www.informatik.uni-kiel.de/~mh/publications/reports/fdpe02/}},
)
@misc(jflap,
 author       = {Susan H. Rodger},
 title        = {{JFLAP} webpage},
 howpublished = {\url{https://www.jflap.org/}},
 note         = {Retrieved Jan 2022},
)
@inproceedings(Rodger:SIGCSE06,
 author       = {Susan H. Rodger and Bart Bressler and Thomas Finley and Stephen Reading},
 year         = {2006},
 title        = {Turning Automata Theory into a Hands-On Course},
 booktitle    = {Proceedings of 37th SIGCSE Technical Symposium on Computer Science Education},
 publisher    = {{ACM} Press},
 pages        = {379--383},
 doi          = {10.1145/1121341.1121459},
)
@inproceedings(StoughtonFPDE08,
 author       = {Alley Stoughton},
 year         = {2008},
 title        = {Experimenting with Formal Languages Using {Forlan}},
 booktitle    = {Proceedings of the 2008 International Workshop on Functional and Declarative Programming in Education},
 pages        = {41--50},
 doi          = {10.1145/1411260.1411267},
)
@incollection(Tseitin68,
 author       = {G. S. Tseitin},
 year         = {1968},
 title        = {On the Complexity of Derivation in the Propositional Calculus},
 editor       = {A. O. Slisenko},
 booktitle    = {Studies in Constructive Mathematics and Mathematical Logic},
 volume       = {Part II},
 pages        = {115--125},
 doi          = {10.1007/978-3-642-81955-1_28},
)
@article(VanDrunen2017,
 author       = {Thomas VanDrunen},
 year         = {2017},
 title        = {Functional Programming as a Discrete Mathematics Topic},
 journal      = {ACM Inroads},
 volume       = {8},
 number       = {2},
 pages        = {51--58},
 doi          = {10.1145/3078325},
)
@misc(autotool,
 author       = {Johannes Waldmann},
 title        = {{L}eipzig {A}utotool webpage},
 howpublished = {\url{https://www.imn.htwk-leipzig.de/~waldmann/autotool/}},
 note         = {Retrieved Jan 2022},
)
@inproceedings(autotool2014,
 author       = {Johannes Waldmann},
 year         = {2014},
 title        = {Automated Exercises for Constraint Programming},
 booktitle    = {28th Workshop on (Constraint) Logic Programming (WLP 2014)},
 pages        = {66--80},
)
@inproceedings(autotool2015de,
 author       = {Johannes Waldmann},
 year         = {2015},
 title        = {{A}utomatisierte {B}ewertung und {E}rzeugung von {{\"U}}bungsaufgaben zu {P}rinzipien von {P}rogrammiersprachen},
 booktitle    = {18.\ Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015)},
)
@inproceedings(autotool2017de,
 author       = {Johannes Waldmann},
 year         = {2017},
 title        = {{A}utomatische {E}rzeugung und {B}ewertung von {A}ufgaben zu {A}lgorithmen und {D}atenstrukturen},
 booktitle    = {Proceedings of the Third Workshop ``Automatische Bewertung von Programmieraufgaben'' (ABP2017)},
 volume       = {2015},
)
@inproceedings(autotool2017,
 author       = {Johannes Waldmann},
 year         = {2017},
 title        = {How {I} Teach Functional Programming},
 booktitle    = {Workshop on Functional Logic Programming (WFLP 2017)},
)
@article(Wang1960,
 author       = {Hao Wang},
 year         = {1960},
 title        = {Toward Mechanical Mathematics},
 journal      = {{IBM} Journal of Research and Development},
 volume       = {4},
 number       = {1},
 pages        = {2--22},
 doi          = {10.1147/rd.41.0002},
)
@phdthesis(Watson:phd95,
 author       = {Bruce W. Watson},
 year         = {1995},
 title        = {Taxonomies and Toolkits of Regular Language Algorithms},
 school       = {Eindhoven University of Technology},
)