Laurent Théry, Pierre Letouzey, Georges Gonthier. Coq. In Freek Wiedijk, editor, The Seventeen Provers of the World, Foreword by Dana S. Scott. Volume 3600 of Lecture Notes in Computer Science, pages 28-35, Springer, 2006. [doi]
Abstract is missing.