Published Works - coq/coq GitHub Wiki

Here is a .bib file containing many references to published articles about Coq (in particular the internals). It would be great if some of them could be described in a few words on this page.