diff -r 2b2323124e8e -r a1804e137018 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Jun 26 15:48:09 2007 +0200
+++ b/doc-src/manual.bib	Tue Jun 26 15:48:24 2007 +0200
@@ -916,7 +916,8 @@
   journal	= {Mathematical Structures in Computer Science},
   year		= 1999,
   volume	= 9,
-  note		= {in press}}
+  number = 5,
+  pages = {545-567}}
 
 @InCollection{paulson-generic,
   author	= {Lawrence C. Paulson},
@@ -1068,7 +1069,10 @@
   title = 	 {Relations Between Secrets:
                   Two Formal Analyses of the {Yahalom} Protocol},
   journal = 	 JCS,
-  note =	 {in press}}
+  volume = 9,
+  number = 3,
+  pages = {197-216},
+  year = 2001}}
 
 @article{pelletier86,
   author	= {F. J. Pelletier},