Leonidas Lampropoulos
Benjamin C. Pierce
 

Version 1.0 (26 Aug 2018, Coq 8.8.0)