diff -r cbffed7d81bd -r 36c9d9e658c7 Quotient-Paper/document/root.bib
--- a/Quotient-Paper/document/root.bib	Sat Jun 12 06:35:27 2010 +0200
+++ b/Quotient-Paper/document/root.bib	Sat Jun 12 11:32:36 2010 +0200
@@ -37,7 +37,7 @@
   author    = {Laurent Chicli and
                Loic Pottier and
                Carlos Simpson},
-  title     = {Mathematical Quotients and Quotient Types in Coq},
+  title     = {{M}athematical {Q}uotients and {Q}uotient {T}ypes in {C}oq},
   booktitle = {TYPES},
   year      = {2002},
   pages     = {95-107},