--- a/Journal/document/root.bib	Tue Mar 04 08:45:11 2014 +0000
+++ b/Journal/document/root.bib	Tue Mar 04 09:40:40 2014 +0000
@@ -73,7 +73,7 @@
 @inproceedings{ZhangUrbanWu12,
   author    = {X.~Zhang and C.~Urban and C.~Wu},
   title     = {{P}riority {I}nheritance {P}rotocol {P}roved {C}orrect},
-  booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving},
+  booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving (ITP)},
   year      = {2012},
   pages     = {217--232},
   series    = {LNCS},