ACL2 Community (accessed December, 2016):
ACL2+Books Documentation.
See URL http://www.cs.utexas.edu/~moore/acl2/manuals/current/manual?topic=ACL2____ACL2.
Richard S. Bird & Oege de Moor (1997):
Algebra of programming.
Prentice Hall International series in computer science.
Prentice Hall.
Jack Bresenham (1965):
Algorithm for Computer Control of a Digital Plotter.
IBM Systems Journal 4(1),
pp. 25–30,
doi:10.1147/sj.41.0025.
Alessandro Coglio (2015):
Second-Order Functions and Theorems in ACL2.
In: Proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and its Applications,
doi:10.1145/1637837.1637839.
Kestrel Institute & University of Texas at Austin (accessed January, 2017):
APT (Automated Program Transformations).
http://www.kestrel.edu/home/projects/apt.
Matt Kaufmann (2003):
A Tool for Simplifying Files of ACL2 Definitions.
In: Proceedings of the Fourth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2003, Boulder, Colorado, USA, July 13-14, 2003..
Douglas R. Smith (1990):
KIDS: A Semiautomatic Program Development System.
IEEE Trans. Software Eng. 16(9),
pp. 1024–1043,
doi:10.1109/32.58788.
Eric W. Smith (2011):
Axe: An Automated Formal Equivalence Checking Tool for Programs.
Ph.D. dissertation.
Stanford University.