[Abrial] The B-Book: Assigning Programs to Meanings. Cambridge University Press. Cambridge, England. 1996.
[Ambler] “Single Source Information: An Agile Practice for Effective Documentation”. 2005. http://www.agilemodeling.com/essays/singleSourceInformation.htm .
[Knuth 1983] “The WEB system of structured documentation”. Stanford Computer Science Report CS980. September 1983. Also at http://www.literateprogramming.com/web.pdf .
[Knuth 1984] “Literate programming”. The Computer Journal. No. 2. 97-111. 1984. Also at http://www.literateprogramming.com/knuthweb.pdf .
[Nørmark] “Deriving a Comprehensive Document from a Concise Document”. May 2004. http://www.cs.auc.dk/~normark/laml/papers/leno/concise-comprehensive.pdf.
[Ramsey] “Literate programming simplified”. IEEE Software. No. 5. 97-105. September 1994. Also at http://www.eecs.harvard.edu/~nr/pubs/lpsimp.pdf .
[Stavely 1999] “Lightweight literate programming”. 1999. http://www.nmt.edu/~al/Literate-programming/white-paper .
[Stavely 2000] “Integrating Z and Cleanroom”. Proceedings of the Fifth NASA Langley Formal Methods Workshop. June 2000. Also at http://www.nmt.edu/~al/lfm-paper.ps .
[Stavely 2001] “The rehearsal scheduler's assistant”. 2001. http://www.nmt.edu/~al/Literate-programming/Examples/scheduler.ps.
[Stavely 2008] “Lightweight Literate Programming: a Documentation Practice”. Technical Communication. No. 1. 23-37. February 2008.
[Walsh N] “Literate Programming in XML”. Proceedings of XML 2002. December 2002. Also at http://nwalsh.com/docs/articles/xml2002/lp/paper.html.