--- 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},