diff -r a9c0eeb00cc3 -r da7a6ccfa7a9 Journal/Paper.thy
--- a/Journal/Paper.thy	Tue Mar 04 15:27:59 2014 +0000
+++ b/Journal/Paper.thy	Tue Mar 04 15:30:24 2014 +0000
@@ -157,7 +157,7 @@
   the priority it had at the point of entry into the critical section''.
   
   While \cite{book} and
-  \cite{Sha90} are the only formal publication we have 
+  \cite{Sha90} are the only formal publications we have 
   found that describe the incorrect behaviour, not all, but many
   informal\footnote{informal as in ``found on the Web''} 
   descriptions of PIP overlook the possibility that another