The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

Dear Coq developers,

I know (and I trust everybody else here does too!) that it’s helpful to you 
if people using Coq cite it in the bibliographies of their papers, so that 
various bean counters can see that it’s having impact.  But I’m never sure if 
I’m doing it in the best way.

Can someone post an up-to-date bibtex entry?

Thanks,

    - Benjamin

P.S.  Before Tuesday morning would be ideal…  :-)