doc-src/manual.bib

   volume	= 17,
   number	= 3,
   month		= dec,
   pages		= {291-323}}
 
+@InCollection{paulson-fixedpt-milner,
+  author	= {Lawrence C. Paulson},
+  title		= {A Fixedpoint Approach to (Co)inductive and
+                  (Co)datatype Definitions},
+  pages		= {187-211},
+  crossref	= {milner-fest}}
+
+@book{milner-fest,
+  title		= {Proof, Language, and Interaction: 
+                   Essays in Honor of {Robin Milner}},
+  booktitle	= {Proof, Language, and Interaction: 
+                   Essays in Honor of {Robin Milner}},
+  publisher	= {MIT Press},
+  year		= 2000,
+  editor	= {Gordon Plotkin and Colin Stirling and Mads Tofte}}
+
 @InCollection{paulson-handbook,
   author	= {Lawrence C. Paulson},
   title		= {Designing a Theorem Prover},
   crossref	= {handbk-lics2},
   pages		= {415-475}}