Jesse Alama
Kasper Brink
Lionel Mamane
Josef Urban
2011
Large Formal Wikis: Issues and Solutions
Calculemus/MKM '11
133–148
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
International Conference on Functional Programming
ACM
109–120
10.1145/1596550.1596569
Ruben Gamboa
2003
Writing Literate Proofs with XML Tools
ACL2 '03
Antonio García-Domínguez
Francisco Palomo-Lozano
Inmaculada Medina-Bulo
2009
Hypertext Navigation of ACL2 Proofs with XMLEye
ACL2 '09
ACM
47–56
10.1145/1637837.1637845
Florian Haftmann
Gerwin Klein
Tobias Nipkow
Norbert Schirmer
2013
Sugar for Isabelle Documents
http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2013-2/doc/sugar.pdf
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.
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
97–111
10.1093/comjnl/27.2.97
Markus Wenzel
1999
Isar: A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99
LNCS
1690
Springer
167–183
10.1007/3-540-48256-3_12