• Hitchhiker's Guide to the Coq Source Tree
• Adventures of a Vernac Command