diff -r 22b6bd498419 -r a821434474c9 prio/Paper/Paper.thy
--- a/prio/Paper/Paper.thy	Wed Feb 01 17:40:00 2012 +0000
+++ b/prio/Paper/Paper.thy	Wed Feb 01 17:46:36 2012 +0000
@@ -499,7 +499,7 @@
   in Section \ref{model} does prevent indefinite priority inversion and therefore fulfills 
   the fundamental requirement of Priority Inheritance protocol. Another purpose of this paper 
   is to show how this model can be used to guide a concrete implementation. As discussed in
-  Section 5.6.5 of \cite{Vahalia:1996:UI}, the implementation of Priority Inheritance in Solaris 
+  Section 5.6.5 of \cite{Vahalia96}, the implementation of Priority Inheritance in Solaris 
   uses sophisticated linking data structure. Except discussing two scenarios to show how
   the data structure should be manipulated, a lot of details of the implementation are missing. 
   In \cite{Faria08,conf/fase/JahierHR09,WellingsBSB07} the protocol is described formally