--- a/doc-src/manual.bib Thu Aug 19 12:03:47 2010 +0200
+++ b/doc-src/manual.bib Thu Aug 19 12:04:07 2010 +0200
@@ -591,6 +591,11 @@
number = 5,
month = May}
+@misc{sine,
+ author = "Kry\v{s}tof Hoder",
+ title = "SInE (Sumo Inference Engine)",
+ note = "\url{http://www.cs.man.ac.uk/~hoderk/sine/}"}
+
@book{Hudak-Haskell,author={Paul Hudak},
title={The Haskell School of Expression},publisher=CUP,year=2000}
@@ -714,6 +719,15 @@
title = {The Objective Caml system -- Documentation and user's manual},
note = {\url{http://caml.inria.fr/pub/docs/manual-ocaml/}}}
+@incollection{lochbihler-2010,
+ title = "Coinduction",
+ author = "Andreas Lochbihler",
+ booktitle = "The Archive of Formal Proofs",
+ editor = "Gerwin Klein and Tobias Nipkow and Lawrence C. Paulson",
+ publisher = "\url{http://afp.sourceforge.net/entries/Coinductive.shtml}",
+ month = "Feb.",
+ year = 2010}
+
@InProceedings{lowe-fdr,
author = {Gavin Lowe},
title = {Breaking and Fixing the {Needham}-{Schroeder} Public-Key
@@ -1335,6 +1349,12 @@
crossref = {tphols96},
pages = {381-397}}
+@inproceedings{snark,
+ author = {M. Stickel and R. Waldinger and M. Lowry and T. Pressburger and I. Underwood},
+ title = {Deductive composition of astronomical software from subroutine libraries},
+ pages = "341--355",
+ crossref = {cade12}}
+
@book{suppes72,
author = {Patrick Suppes},
title = {Axiomatic Set Theory},
@@ -1819,12 +1839,3 @@
key = "Wikipedia",
title = "Wikipedia: {AA} Tree",
note = "\url{http://en.wikipedia.org/wiki/AA_tree}"}
-
-@incollection{lochbihler-2010,
- title = "Coinduction",
- author = "Andreas Lochbihler",
- booktitle = "The Archive of Formal Proofs",
- editor = "Gerwin Klein and Tobias Nipkow and Lawrence C. Paulson",
- publisher = "\url{http://afp.sourceforge.net/entries/Coinductive.shtml}",
- month = "Feb.",
- year = 2010}