Jesse Alama, Kasper Brink, Lionel Mamane & Josef Urban (2011):
Large Formal Wikis: Issues and Solutions.
In: Calculemus/MKM '11,
pp. 133–148,
doi:10.1007/978-3-642-22673-1_10.
Matthew Flatt, Eli Barzilay & Robert Bruce Findler (2009):
Scribble: Closing the Book on Ad Hoc Documentation Tools.
In: International Conference on Functional Programming.
ACM,
pp. 109–120,
doi:10.1145/1596550.1596569.
Ruben Gamboa (2003):
Writing Literate Proofs with XML Tools.
In: ACL2 '03.
Antonio García-Domínguez, Francisco Palomo-Lozano & Inmaculada Medina-Bulo (2009):
Hypertext Navigation of ACL2 Proofs with XMLEye.
In: ACL2 '09.
ACM,
pp. 47–56,
doi:10.1145/1637837.1637845.
Andrew Hunt & David Thomas (1999):
The Pragmatic Programmer.
Addison-Wesley.
Matt Kaufmann & J Strother Moore (1994):
Design Goals for ACL2.
Technical Report 101.
Computational Logic, Inc..
Available at http://www.cs.utexas.edu/users/moore/publications/km94.pdf.
Also appeared in: Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Kiel, Germany (1994), pp. 92-117.
Donald E Knuth (1984):
Literate programming.
The Computer Journal 27(2),
pp. 97–111,
doi:10.1093/comjnl/27.2.97.
Markus Wenzel (1999):
Isar: A Generic Interpretative Approach to Readable Formal Proof Documents.
In: TPHOLs '99,
LNCS 1690.
Springer,
pp. 167–183,
doi:10.1007/3-540-48256-3_12.