APA Citation

Bertot, Y. (2004). Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (1st ed. 2004.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Bertot, Yves. Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

MLA Citation

Bertot, Yves. Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Warning: These citations may not always be 100% accurate.