Cite Them Right 11th edition - Harvard

Chlipala, A. (2013) Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant [cd]. Cambridge: The MIT Press.

Chicago Manual of Style 17th edition (full note)

Chlipala, Adam. Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant. Cd. Cambridge: The MIT Press, [2013?], Cambridge: The MIT Press, [2013?].

American Psychological Association 7th edition

Chlipala, A. (ca. 2013). Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant [Cd]. The MIT Press.

Modern Language Association 9th edition

Chlipala, A. Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant. cd, The MIT Press, 2013.

ISO-690 (author-date, Deutsch)

CHLIPALA, Adam, 2013. Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant. Cambridge: The MIT Press. ISBN 9780262317870

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.