S. Bechtold, S. Brannen, J. Link, M. Merdes, M. Philipp, J. de Rancourt & C. Stein (2021):
JUnit 5 User Guide.
https://junit.org/junit5/docs/current/user-guide/.
K. Beck (2002):
Test Driven Development. By Example (Addison-Wesley Signature).
Addison-Wesley Longman, Amsterdam.
R. Berger (2011):
Check Digits—An Application of Modular Arithmetic.
https://www.luther.edu/bergerr/assets/Math_260_Check_digits.pdf.
R. S. Boyer & J S. Moore (1980):
A Computational Logic.
ACM monograph series.
Academic Press.
H. R. Chamarthi, P. Dillinger, M. Kaufmann & P. Manolios (2011):
Integrating Testing and Interactive Theorem Proving.
Electronic Proceedings in Theoretical Computer Science 70,
pp. 4–19,
doi:10.4204/eptcs.70.1.
J. Davis (2013):
Embedding ACL2 Models in End-user Applications.
Do-Form: Enabling Domain Experts to Use Formalised Reasoning - AISB Convention 2013,
pp. 49–56.
P. Dillinger, P. Manolios, D. Vroon & J S. Moore (2007):
ACL2s: The ACL2 Sedan.
Electron. Notes Theor. Comput. Sci. 174(2),
pp. 3–18,
doi:10.1016/j.entcs.2006.09.018.
C. Eastlund (2009):
DoubleCheck Your Theorems.
In: Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications,
ACL2 '09.
Association for Computing Machinery,
New York, NY, USA,
pp. 42–46,
doi:10.1145/1637837.1637844.
C. Eggensperger (2013):
Proof Pad: A New Development Environment for ACL2.
In: R. Gamboa & J. Davis: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, Laramie, Wyoming, USA , May 30-31, 2013,
Electronic Proceedings in Theoretical Computer Science 114.
Open Publishing Association,
pp. 13–28,
doi:10.4204/EPTCS.114.2.
M. Felleisen, R. Findler, M. Flatt & S. Krishnamurthi (2018):
How to Design Programs: An Introduction to Programming and Computing.
The MIT Press.
R. Page & R. Gamboa (2012):
How Computers Work: Computational Thinking for Everyone.
In: Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012.,
pp. 1–19,
doi:10.4204/EPTCS.106.1.
R. Page & R. Gamboa (2013):
A More Formal Approach to ``Computer Science: Principles''.
In: The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013,
pp. 257–262,
doi:10.1145/2445196.2445274.
R. L. Page, C. Eastlund & M. Felleisen (2008):
Functional programming and theorem proving for undergraduates: a progress report.
In: Frank Huch & Adam Parkin: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008.
ACM,
pp. 21–30,
doi:10.1145/1411260.1411264.
E. Schanzer, K. Fisler, S Krishnamurthi & M. Felleisen (2015):
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap.
In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education,
SIGCSE '15.
Association for Computing Machinery,
New York, NY, USA,
pp. 61–66,
doi:10.1145/2676723.2677238.
D. Vaillancourt, R. Page & M. Felleisen (2006):
ACL2 in DrScheme.
In: P. Manolios & M. Wilding: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006.
ACM,
pp. 107–116,
doi:10.1145/1217975.1217999.