# HG changeset patch
# User blanchet
# Date 1282212247 -7200
# Node ID d5d7eecb953e7b90911de7aa41a1ca8282fc56d9
# Parent  0da6db609c1f2927387b332f772611382706fff0
added entries

diff -r 0da6db609c1f -r d5d7eecb953e doc-src/manual.bib
--- 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}