diff -r 4da5c5c29009 -r ad03df7e8056 Quotient-Paper/document/root.bib
--- a/Quotient-Paper/document/root.bib	Mon Jun 07 11:43:01 2010 +0200
+++ b/Quotient-Paper/document/root.bib	Mon Jun 07 11:46:26 2010 +0200
@@ -26,7 +26,7 @@
 
 @techreport{PVS:Interpretations,
         Author= {S. Owre and N. Shankar},
-        Title= {Theory Interpretations in PVS},
+        Title= {{T}heory {I}nterpretations in {PVS}},
         Number= {SRI-CSL-01-01},
         Institution= {Computer Science Laboratory, SRI International},
         Address= {Menlo Park, CA},