@inproceedings(11-alama-wikis,
 author       = "Jesse Alama and Kasper Brink and Lionel Mamane and Josef Urban",
 year         = "2011",
 title        = "Large Formal Wikis: Issues and Solutions",
 booktitle    = "Calculemus/MKM '11",
 pages        = "133--148",
 doi          = "10.1007/978-3-642-22673-1\_10",
)
@inproceedings(09-flatt-scribble,
 author       = "Matthew Flatt and Eli Barzilay and Robert Bruce Findler",
 year         = "2009",
 title        = "Scribble: Closing the Book on Ad Hoc Documentation Tools",
 booktitle    = "International Conference on Functional Programming",
 publisher    = "ACM",
 pages        = "109--120",
 doi          = "10.1145/1596550.1596569",
)
@inproceedings(03-gamboa-literate,
 author       = "Ruben Gamboa",
 year         = "2003",
 title        = "Writing Literate Proofs with {XML} Tools",
 booktitle    = "ACL2 '03",
)
@inproceedings(09-dominguez-hypertext,
 author       = "Antonio Garc\'{\i }a-Dom\'{\i }nguez and Francisco Palomo-Lozano and Inmaculada Medina-Bulo",
 year         = "2009",
 title        = "Hypertext Navigation of {ACL2} Proofs with {XMLEye}",
 booktitle    = "ACL2 '09",
 publisher    = "ACM",
 pages        = "47--56",
 doi          = "10.1145/1637837.1637845",
)
@misc(haftmann-13-sugar,
 author       = "Florian Haftmann and Gerwin Klein and Tobias Nipkow and Norbert Schirmer",
 year         = "2013",
 title        = "\LaTeX {} Sugar for Isabelle Documents",
 url          = "http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2013-2/doc/sugar.pdf",
)
@book(99-hunt-pragmatic,
 author       = "Andrew Hunt and David Thomas",
 year         = "1999",
 title        = "The Pragmatic Programmer",
 publisher    = "Addison-Wesley",
)
@techreport(94-kaufmann-design-goals,
 author       = "Matt Kaufmann and J Strother Moore",
 year         = "1994",
 title        = "Design Goals for {ACL2}",
 type         = "Technical Report",
 number       = "101",
 institution  = "Computational Logic, Inc.",
 url          = "http://www.cs.utexas.edu/users/moore/publications/km94.pdf",
 note         = "Also appeared in: {\em Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems}, Kiel, Germany (1994), pp. 92-117",
)
@article(84-knuth-literate,
 author       = "Donald E Knuth",
 year         = "1984",
 title        = "Literate programming",
 journal      = "The Computer Journal",
 volume       = "27",
 number       = "2",
 pages        = "97--111",
 doi          = "10.1093/comjnl/27.2.97",
)
@inproceedings(99-wenzel-isar,
 author       = "Markus Wenzel",
 year         = "1999",
 title        = "Isar: A Generic Interpretative Approach to Readable Formal Proof Documents",
 booktitle    = "TPHOLs '99",
 series       = "LNCS",
 volume       = "1690",
 publisher    = "Springer",
 pages        = "167--183",
 doi          = "10.1007/3-540-48256-3\_12",
)