References

1. 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.
2. 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.
3. Ruben Gamboa (2003): Writing Literate Proofs with XML Tools. In: ACL2 '03.
4. 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.
5. Florian Haftmann, Gerwin Klein, Tobias Nipkow & Norbert Schirmer (2013): Sugar for Isabelle Documents. Available at http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2013-2/doc/sugar.pdf.
6. Andrew Hunt & David Thomas (1999): The Pragmatic Programmer. Addison-Wesley.
7. 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.
8. Donald E Knuth (1984): Literate programming. The Computer Journal 27(2), pp. 97–111, doi:10.1093/comjnl/27.2.97.
9. 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.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org