@manual(DescTools2021,
 author       = {{Andri et mult. al.}, Signorell},
 year         = {2021},
 title        = {{DescTools}: Tools for Descriptive Statistics},
 url          = {https://cran.r-project.org/package=DescTools},
 note         = {{R} package version 0.99.44},
)
@book(Plummer2011,
 author       = {Barker-Plummer, David and Jon Barwise and John Etchemendy},
 year         = {2011},
 title        = {Language, Proof and Logic},
 edition      = {second},
 publisher    = {Center for the Study of Language and Information},
)
@book(BenAri2001,
 author       = {Ben{-}Ari, Mordechai},
 year         = {2012},
 title        = {Mathematical Logic for Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4471-4129-7},
)
@book(CoqArt,
 author       = {Yves Bertot and Pierre Castéran},
 year         = {2004},
 title        = {Interactive Theorem Proving and Program Development},
 publisher    = {Springer, Berlin, Heidelberg},
 doi          = {10.1007/978-3-662-07964-5},
)
@unpublished(Hexagonal2005,
 author       = {Alistair Cockburn},
 year         = {2005},
 title        = {Hexagonal architecture},
 url          = {https://alistair.cockburn.us/hexagonal-architecture/},
 note         = {Blog article.},
)
@book(Doets2012,
 author       = {Kees Doets and Jan van Eick},
 year         = {2012},
 title        = {The Haskell Road to Logic, Maths and Programming},
 edition      = {second},
 publisher    = {College Publications},
)
@article(Ferguson2009,
 author       = {Christopher J. Ferguson},
 year         = {2009},
 title        = {An Effect Size Primer: A Guide for Clinicians and Researchers},
 journal      = {Professional Psychology: Research and Practice},
 volume       = {40},
 pages        = {532--538},
 doi          = {10.1037/a0015808},
)
@inproceedings(ThEdu19,
 author       = {Asta Halkj{\ae}r From and Alexander Birch Jensen and Anders Schlichtkrull and J{\o}rgen Villadsen},
 year         = {2019},
 title        = {Teaching a Formalized Logical Calculus},
 editor       = {Pedro Quaresma and Walther Neuper and Jo{\~{a}}o Marcos},
 booktitle    = {Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019},
 series       = {{EPTCS}},
 volume       = {313},
 pages        = {73--92},
 doi          = {10.4204/EPTCS.313.5},
)
@inproceedings(ThEdu20,
 author       = {Asta Halkj{\ae}r From and J{\o}rgen Villadsen and Patrick Blackburn},
 year         = {2020},
 title        = {Isabelle/{HOL} as a Meta-Language for Teaching Logic},
 editor       = {Pedro Quaresma and Walther Neuper and Jo{\~{a}}o Marcos},
 booktitle    = {Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020},
 series       = {{EPTCS}},
 volume       = {328},
 pages        = {18--34},
 doi          = {10.4204/EPTCS.328.2},
)
@inproceedings(CILC,
 author       = {Asta Halkjær From and Anders Schlichtkrull and Jørgen Villadsen},
 year         = {2021},
 title        = {A Sequent Calculus for First-Order Logic Formalized in Isabelle/{HOL}},
 editor       = {Stefania Monica and Federico Bergenti},
 booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic - {CILC} 2021, Parma, Italy, September 7-9, 2021},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {3002},
 publisher    = {CEUR-WS.org},
 pages        = {107--121},
 url          = {http://ceur-ws.org/Vol-3002/paper7.pdf},
)
@techreport(Harlacher2016,
 author       = {Jason Harlacher},
 year         = {2016},
 title        = {An educator's guide to questionnaire development ({REL} 2016-108)},
 type         = {Technical Report},
 institution  = {Washington, DC: {U.S.} Department of Education, Institute of Education Sciences, National Center for Education Evaluation and Regional Assistance, Regional Educational Laboratory Central.},
 url          = {https://ies.ed.gov/ncee/edlabs/regions/central/resources/pemtoolkit/pdf/module-6/CE5.3.2-An-Educators-Guide-to-Questionnaire-Development.pdf},
)
@book(Harrison2009,
 author       = {John Harrison},
 year         = {2009},
 title        = {Handbook of Practical Logic and Automated Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511576430},
)
@incollection(Harrison2014,
 author       = {John Harrison and Josef Urban and Freek Wiedijk},
 year         = {2014},
 title        = {History of Interactive Theorem Proving},
 editor       = {Jörg H. Siekmann},
 booktitle    = {Computational Logic},
 series       = {Handbook of the History of Logic},
 volume       = {9},
 publisher    = {North-Holland},
 pages        = {135--214},
 doi          = {10.1016/B978-0-444-51624-4.50004-6},
 url          = {https://www.sciencedirect.com/science/article/pii/B9780444516244500046},
)
@misc(IsabelleWorkshop2022,
 author       = {Frederik Krogsdal Jacobsen and Jørgen Villadsen},
 year         = {2022},
 title        = {Lessons of Teaching Formal Methods with Isabelle},
 howpublished = {Isabelle Workshop},
 url          = {https://files.sketis.net/Isabelle_Workshop_2022/Isabelle_2022_paper_9.pdf},
)
@misc(ThEdu22,
 author       = {Frederik Krogsdal Jacobsen and Jørgen Villadsen},
 year         = {2022},
 title        = {On Exams with the Isabelle Proof Assistant},
 howpublished = {11th International Workshop on Theorem proving components for Educational software},
 url          = {https://www.uc.pt/en/congressos/thedu/ThEdu22},
 note         = {Extended Abstract},
)
@article(Artino2014,
 author       = {Anthony R. Artino Jr. and Jeffrey S. La Rochelle and Kent J. Dezee and Hunter Gehlbach},
 year         = {2014},
 title        = {Developing questionnaires for educational research: {AMEE} Guide No. 87},
 journal      = {Medical Teacher},
 volume       = {36},
 number       = {6},
 pages        = {463--474},
 doi          = {10.3109/0142159X.2014.889814},
)
@article(Likert1932,
 author       = {Rensis Likert},
 year         = {1932},
 title        = {A Technique for the Measurement of Attitudes},
 journal      = {Archives of Psychology},
 volume       = {140},
 pages        = {1--55},
)
@book(Mangiafico2016,
 author       = {Salvatore S. Mangiafico},
 year         = {2016},
 title        = {Summary and Analysis of Extension Program Evaluation in {R}},
 edition      = {1.19.10},
 publisher    = {Rutgers Cooperative Extension},
 url          = {https://rcompanion.org/handbook},
)
@misc(FAV2021,
 author       = {Tobias Nipkow and Jasmin Blanchette and Manuel Eberl and Gómez-Londoño, Alejandro and Peter Lammich and Christian Sternagel and Simon Wimmer and Bohua Zhan},
 year         = {2021},
 title        = {Functional Algorithms, Verified!},
 url          = {https://functional-algorithms-verified.org/},
)
@book(ConcreteSemantics,
 author       = {Tobias Nipkow and Gerwin Klein},
 year         = {2014},
 title        = {Concrete Semantics},
 publisher    = {Springer, Cham},
 doi          = {10.1007/978-3-319-10542-0},
)
@article(PaulsonNW19,
 author       = {Lawrence C. Paulson and Tobias Nipkow and Makarius Wenzel},
 year         = {2019},
 title        = {From {LCF} to Isabelle/HOL},
 journal      = {Formal Aspects of Computing},
 volume       = {31},
 number       = {6},
 pages        = {675--698},
 doi          = {10.4204/EPTCS.118.4},
)
@book(Pierce:SFold,
 author       = {Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and Hri\c{t}cu, C\v{a}t\v{a}lin and Vilhelm Sj\"{o}berg and Brent Yorgey},
 year         = {2017},
 title        = {Software Foundations},
 publisher    = {Electronic textbook},
 note         = {\url{http://www.cis.upenn.edu/~bcpierce/sf}},
)
@manual(R2022,
 author       = {{R Core Team}},
 year         = {2022},
 title        = {R: A Language and Environment for Statistical Computing},
 organization = {R Foundation for Statistical Computing},
 address      = {Vienna, Austria},
 url          = {https://www.R-project.org/},
)
@inproceedings(SPA18,
 author       = {Anders Schlichtkrull and J{\o}rgen Villadsen and Andreas Halkj{\ae}r From},
 year         = {2018},
 title        = {{Students' Proof Assistant (SPA)}},
 editor       = {Pedro Quaresma and Walther Neuper},
 booktitle    = {Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 July 2018},
 series       = {{EPTCS}},
 volume       = {290},
 pages        = {1--13},
 doi          = {10.4204/EPTCS.290.1},
)
@book(Stump2016,
 author       = {Aaron Stump},
 year         = {2016},
 title        = {Verified Functional Programming in Agda},
 publisher    = {Association for Computing Machinery and Morgan {\&} Claypool},
 doi          = {10.1145/2841316},
)
@inproceedings(Villadsen20,
 author       = {J{\o}rgen Villadsen},
 year         = {2020},
 title        = {{Tautology Checkers in Isabelle and Haskell}},
 editor       = {Francesco Calimeri and Simona Perri and Ester Zumpano},
 booktitle    = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2710},
 publisher    = {CEUR-WS.org},
 pages        = {327--341},
 url          = {http://ceur-ws.org/Vol-2710/paper21.pdf},
)
@inproceedings(NaDeA18,
 author       = {J{\o}rgen Villadsen and Andreas Halkj{\ae}r From and Anders Schlichtkrull},
 year         = {2018},
 title        = {{Natural Deduction Assistant (NaDeA)}},
 editor       = {Pedro Quaresma and Walther Neuper},
 booktitle    = {Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 July 2018},
 series       = {{EPTCS}},
 volume       = {290},
 pages        = {14--29},
 doi          = {10.4204/EPTCS.290.2},
)
@inproceedings(ThEdu21,
 author       = {J{\o}rgen Villadsen and Asta Halkj{\ae}r From and Patrick Blackburn},
 year         = {2022},
 title        = {Teaching Intuitionistic and Classical Propositional Logic Using {I}sabelle},
 editor       = {Jo{\~ao} Marcos and Walther Neuper and Pedro Quaresma},
 booktitle    = {{\rm Proceedings 10th International Workshop on} Theorem Proving Components for Educational Software, {\rm (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {354},
 publisher    = {Open Publishing Association},
 pages        = {71--85},
 doi          = {10.4204/EPTCS.354.6},
)
@inproceedings(FMTea,
 author       = {Jørgen Villadsen and Frederik Krogsdal Jacobsen},
 year         = {2021},
 title        = {Using Isabelle in Two Courses on Logic and Automated Reasoning},
 editor       = {João F. Ferreira and Alexandra Mendes and Claudio Menghi},
 booktitle    = {Formal Methods Teaching},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {117--132},
 doi          = {10.1007/978-3-030-91550-6_9},
)
@manual(readr2022,
 author       = {Hadley Wickham and Jim Hester and Jennifer Bryan},
 year         = {2022},
 title        = {{readr}: Read Rectangular Text Data},
 note         = {{\url{https://readr.tidyverse.org}, \url{https://github.com/tidyverse/readr}}},
)