--- a/prio/Paper/document/root.bib	Thu Feb 16 08:12:01 2012 +0000
+++ b/prio/Paper/document/root.bib	Mon Feb 20 11:02:50 2012 +0000
@@ -1,7 +1,7 @@
 @inproceedings{Haftmann08,
   author    = {F.~Haftmann and M.~Wenzel},
   title     = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar},
-  booktitle = {Proc.~of the International Conference on Types, Proofs and Programms (TYPES)},
+  booktitle = {Proc.~of the International Conference on Types, Proofs and Programs (TYPES)},
   year      = {2008},
   pages     = {153-168},
   series    = {LNCS},