--- a/doc-src/manual.bib Mon Oct 18 19:06:07 2010 +0100
+++ b/doc-src/manual.bib Mon Oct 18 21:37:26 2010 +0100
@@ -1393,6 +1393,14 @@
year = 2000,
publisher = Springer}
+@Article{Sutter:2005,
+ author = {H. Sutter},
+ title = {The Free Lunch Is Over --- A Fundamental Turn Toward Concurrency in Software},
+ journal = {Dr. Dobb's Journal},
+ year = 2005,
+ volume = 30,
+ number = 3}
+
@InCollection{szasz93,
author = {Nora Szasz},
title = {A Machine Checked Proof that {Ackermann's} Function is not
@@ -1579,6 +1587,14 @@
year = {2007}
}
+@InProceedings{Wenzel:2009,
+ author = {M. Wenzel},
+ title = {Parallel Proof Checking in {Isabelle/Isar}},
+ booktitle = {ACM SIGSAM Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009)},
+ year = 2009,
+ editor = {Dos Reis, G. and L. Th\'ery},
+ publisher = {ACM Digital Library}}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},