@misc(junit5,
 author       = {S. Bechtold and S. Brannen and J. Link and M. Merdes and M. Philipp and J. de Rancourt and C. Stein},
 year         = {2021},
 title        = {{JUnit} 5 User Guide},
 howpublished = {\url{https://junit.org/junit5/docs/current/user-guide/}},
)
@book(tdd,
 author       = {K. Beck},
 year         = {2002},
 title        = {Test Driven Development. By Example (Addison-Wesley Signature)},
 publisher    = {Addison-Wesley Longman, Amsterdam},
)
@misc(checksums,
 author       = {R. Berger},
 year         = {2011},
 title        = {Check Digits---An Application of Modular Arithmetic},
 howpublished = {\url{https://www.luther.edu/bergerr/assets/Math_260_Check_digits.pdf}},
)
@book(acl,
 author       = {R. S. Boyer and {J} S. Moore},
 year         = {1980},
 title        = {A Computational Logic},
 series       = {{ACM} monograph series},
 publisher    = {Academic Press},
)
@article(testing-in-acl2s,
 author       = {H. R. Chamarthi and P. Dillinger and M. Kaufmann and P. Manolios},
 year         = {2011},
 title        = {Integrating Testing and Interactive Theorem Proving},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {70},
 pages        = {4--19},
 doi          = {10.4204/eptcs.70.1},
)
@article(bridge,
 author       = {J. Davis},
 year         = {2013},
 title        = {Embedding ACL2 Models in End-user Applications},
 journal      = {Do-Form: Enabling Domain Experts to Use Formalised Reasoning - AISB Convention 2013},
 pages        = {49--56},
)
@article(DBLP:journals/entcs/DillingerMVM07,
 author       = {P. Dillinger and P. Manolios and D. Vroon and J S. Moore},
 year         = {2007},
 title        = {{ACL2}s: The {ACL2} Sedan},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {174},
 number       = {2},
 pages        = {3--18},
 doi          = {10.1016/j.entcs.2006.09.018},
)
@inproceedings(10.1145/1637837.1637844,
 author       = {C. Eastlund},
 year         = {2009},
 title        = {DoubleCheck Your Theorems},
 booktitle    = {Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications},
 series       = {ACL2 '09},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {42--46},
 doi          = {10.1145/1637837.1637844},
)
@inproceedings(EPTCS114.2,
 author       = {C. Eggensperger},
 year         = {2013},
 title        = {{P}roof {P}ad: A New Development Environment for {ACL2}},
 editor       = {R. Gamboa and J. Davis},
 booktitle    = {{\rm Proceedings International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Laramie, Wyoming, USA , May 30-31, 2013}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {114},
 publisher    = {Open Publishing Association},
 pages        = {13--28},
 doi          = {10.4204/EPTCS.114.2},
)
@book(htdp,
 author       = {M. Felleisen and R. Findler and M. Flatt and S. Krishnamurthi},
 year         = {2018},
 title        = {How to Design Programs: An Introduction to Programming and Computing},
 publisher    = {The MIT Press},
)
@inproceedings(DBLP:journals/corr/abs-1301-5074,
 author       = {R. Page and R. Gamboa},
 year         = {2012},
 title        = {How Computers Work: Computational Thinking for Everyone},
 booktitle    = {Proceedings First International Workshop on Trends in Functional Programming in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK, 11th June 2012.},
 pages        = {1--19},
 doi          = {10.4204/EPTCS.106.1},
)
@inproceedings(DBLP:conf/sigcse/PageG13,
 author       = {R. Page and R. Gamboa},
 year         = {2013},
 title        = {A More Formal Approach to ``Computer Science: Principles''},
 booktitle    = {The 44th {ACM} Technical Symposium on Computer Science Education, {SIGCSE} '13, Denver, CO, USA, March 6-9, 2013},
 pages        = {257--262},
 doi          = {10.1145/2445196.2445274},
)
@inproceedings(fp-tp-undergrads,
 author       = {R. L. Page and C. Eastlund and M. Felleisen},
 year         = {2008},
 title        = {Functional programming and theorem proving for undergraduates: a progress report},
 editor       = {Frank Huch and Adam Parkin},
 booktitle    = {Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008},
 publisher    = {{ACM}},
 pages        = {21--30},
 doi          = {10.1145/1411260.1411264},
)
@misc(jasmine,
 author       = {{Pivotal Labs}},
 year         = {2022},
 title        = {{Jasmine}: Behavior-driven {J}ava{S}cript},
 howpublished = {\url{https://jasmine.github.io/index.html}},
)
@inproceedings(bootstrap,
 author       = {E. Schanzer and K. Fisler and S Krishnamurthi and M. Felleisen},
 year         = {2015},
 title        = {Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap},
 booktitle    = {Proceedings of the 46th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '15},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {61--66},
 doi          = {10.1145/2676723.2677238},
)
@inproceedings(DBLP:conf/acl2/VaillancourtPF06,
 author       = {D. Vaillancourt and R. Page and M. Felleisen},
 year         = {2006},
 title        = {{ACL2} in {D}r{S}cheme},
 editor       = {P. Manolios and M. Wilding},
 booktitle    = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA, August 15-16, 2006},
 publisher    = {{ACM}},
 pages        = {107--116},
 doi          = {10.1145/1217975.1217999},
)