BERTOT, Yves und CASTÉRAN, Pierre, 2004. Interactive theorem proving and program development : Coq’Art: the calculus of inductive constructions. Berlin [u.a.]: Springer. ISBN 9783642058806.
Elsevier - Harvard (with titles)Bertot, Y., Castéran, P., 2004. Interactive theorem proving and program development : Coq’Art: the calculus of inductive constructions, Texts in theoretical computer science. Springer, Berlin [u.a.].
American Psychological Association 7th editionBertot, Y., & Castéran, P. (ca. 2004). Interactive theorem proving and program development : Coq’Art: the calculus of inductive constructions [Book]. In Texts in theoretical computer science. Springer.
Springer - Basic (author-date)Bertot Y, Castéran P (2004) Interactive theorem proving and program development : Coq’Art: the calculus of inductive constructions. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Bertot, Yves/ Castéran, Pierre, Interactive theorem proving and program development : Coq’Art: the calculus of inductive constructions, Berlin [u.a.] 2004.