Add bibliographical reference for Coq