--- a/doc-src/manual.bib Sun May 01 18:37:24 2011 +0200
+++ b/doc-src/manual.bib Sun May 01 18:37:24 2011 +0200
@@ -650,7 +650,7 @@
@misc{sine,
author = "Kry\v{s}tof Hoder",
- title = "SInE (Sumo Inference Engine)",
+ title = "{SInE} (Sumo Inference Engine)",
note = "\url{http://www.cs.man.ac.uk/~hoderk/sine/}"}
@book{Hudak-Haskell,author={Paul Hudak},
@@ -1437,6 +1437,11 @@
year = 2000,
publisher = Springer}
+@misc{tofof,
+ author = "Geoff Sutcliffe",
+ title = "{ToFoF}",
+ note = "\url{http://www.cs.miami.edu/~tptp/ATPSystems/ToFoF/}"}
+
@Article{Sutter:2005,
author = {H. Sutter},
title = {The Free Lunch Is Over --- A Fundamental Turn Toward Concurrency in Software},