Eric Allen, Robert Cartwright & Brian Stoler (2002):
DrJava: a lightweight pedagogic environment for Java.
In: Proceedings of the 33rd SIGCSE technical symposium on Computer science education,
SIGCSE '02.
ACM,
New York, NY, USA,
pp. 137–141,
doi:10.1145/563340.563395.
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann & Panagiotis Manolios (2011):
Integrating Testing and Interactive Theorem Proving.
In: David Hardin & Julien Schmaltz: Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, November 3-4, 2011,
Electronic Proceedings in Theoretical Computer Science 70.
Open Publishing Association,
pp. 4–19,
doi:10.4204/EPTCS.70.1.
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon & J. Strother Moore (2007):
ACL2s: ``The ACL2 Sedan''.
In: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006),
Electronic Notes in Theoretical Computer Science 174,
pp. 3 – 18,
doi:10.1016/j.entcs.2006.09.018.
C. Eastlund & M. Felleisen (2009):
Toward a practical module system for ACL2.
Practical Aspects of Declarative Languages,
pp. 46–60,
doi:10.1007/978-3-540-92995-6_4.
Carl Eastlund (2009):
DoubleCheck your theorems.
In: Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications,
ACL2 '09.
ACM,
New York, NY, USA,
pp. 42–46,
doi:10.1145/1637837.1637844.
Carl Eastlund, Dale Vaillancourt & Matthias Felleisen (2007):
ACL2 for Freshmen: First Experiences.
In: ACL2 ’07: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications.
ACM Press,
pp. 200––211.
Robert Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi & Matthias Felleisen (1997):
DrScheme: A pedagogic programming environment for scheme.
In: Hugh Glaser, Pieter Hartel & Herbert Kuchen: Programming Languages: Implementations, Logics, and Programs,
Lecture Notes in Computer Science 1292.
Springer Berlin / Heidelberg,
pp. 369–388,
doi:10.1007/BFb0033856.
Matt Kaufmann, J. Strother Moore & Panagiotis Manolios (2000):
Computer-Aided Reasoning: An Approach.
Kluwer Academic Publishers,
Norwell, MA, USA,
doi:10.1007/978-1-4615-4449-4.
Rex Page (2007):
Engineering Software Correctness.
Journal of Functional Programming 17,
pp. 675–686,
doi:10.1017/S095679680700634X.
Rex Page (2011):
Property-Based Testing and Verification: a Catalog of Classroom Examples.
In: Proceedings of the 2011 Symposium on Implemenation and Application of Functional Languages,
Lawrence, KS,
pp. 134–147,
doi:10.1007/978-3-642-34407-7_9.
Rex Page & Ruben Gamboa (2012):
How Computers Work: Computational Thinking for Everyone.
In: Proceedings of the First International Workshop on Trends in Functional Programming in Education,
St Andrews, UK,
doi:10.4204/EPTCS.106.1.
Dale Vaillancourt, Rex Page & Matthias Felleisen (2006):
ACL2 in DrScheme.
In: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications,
ACL2 '06.
ACM,
New York, NY, USA,
pp. 107–116,
doi:10.1145/1217975.1217999.
R.A. Virzi (1992):
Refining the test phase of usability evaluation: How many subjects is enough?.
Human Factors: The Journal of the Human Factors and Ergonomics Society 34(4),
pp. 457–468.
eptcs@eptcs.org