Paul A. Cairns, Jeremy Gow: Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173