Cita APA

Bertot, Y., & Castéran, P. (2004). Interactive theorem proving and program development: Coq'Art : the calculus of inductive constructions. Springer.

Citación estilo Chicago

Bertot, Yves., and P. Castéran. Interactive Theorem Proving and Program Development: Coq'Art : The Calculus of Inductive Constructions. Berlin ; New York: Springer, 2004.

Cita MLA

Bertot, Yves., and P. Castéran. Interactive Theorem Proving and Program Development: Coq'Art : The Calculus of Inductive Constructions. Berlin ; New York: Springer, 2004.