--- a/prio/Paper/document/root.bib	Sun Feb 05 21:00:12 2012 +0000
+++ b/prio/Paper/document/root.bib	Mon Feb 06 12:08:35 2012 +0000
@@ -52,7 +52,15 @@
 }
 
 
-
+@Article{Paulson98,
+  author =       {L.~C.~Paulson},
+  title =        {{T}he {I}nductive {A}pproach to {V}erifying {C}ryptographic {P}rotocols},
+  journal =      {Journal of Computer Security},
+  year =         {1998},
+  volume =       {6},
+  number =       {1--2},
+  pages =        {85--128}
+}
 
 @MISC{locke-july02,
 author = {D. Locke},