diff options
Diffstat (limited to 'doc/RecTutorial/morebib.bib')
-rw-r--r-- | doc/RecTutorial/morebib.bib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/RecTutorial/morebib.bib b/doc/RecTutorial/morebib.bib index 11dde2cd5..438f2133d 100644 --- a/doc/RecTutorial/morebib.bib +++ b/doc/RecTutorial/morebib.bib @@ -1,14 +1,14 @@ @book{coqart, title = "Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions", - author = "Yves Bertot and Pierre Castéran", + author = {Yves Bertot and Pierre Castéran}, publisher = "Springer Verlag", series = "Texts in Theoretical Computer Science. An EATCS series", year = 2004 } @Article{Coquand:Huet, - author = {Thierry Coquand and Gérard Huet}, + author = {Thierry Coquand and Gérard Huet}, title = {The Calculus of Constructions}, journal = {Information and Computation}, year = {1988}, |