| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | 978-3-642-O588O-6 (3-642-O588O-9) | 2010 | Yves Bertot · G. Huet · Pierre Castéran |
C.M. · C.P. · Christine Paulin-Mohring · P.M.