diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/mlehnfeld/bib.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/mlehnfeld/bib.bib	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,26 @@
+@Book{Nipkow-Paulson-Wenzel:2002,
+  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
+  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
+  publisher	= {Springer},
+  series	= {LNCS},
+  volume	= 2283,
+  year		= 2002}
+
+@Article{plmms10,
+  author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
+  title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},
+  journal = 	 {ACM Communications in Computer Algebra},
+  year = 	 {2010},
+  volume = 	 {44},
+  number = 	 {1/2},
+  pages = 	 {27-41},
+  doi =          {10.1145/1838599.1838621}
+}
+
+@Manual{isar-impl,
+  title = 	 {The {Isabelle/Isar} Implementation},
+  author = 	 {Makarius Wenzel},
+  month = 	 {30 January},
+  year = 	 {2011},
+  note = 	 {With contributions by Florian Haftmann and Larry Paulson}
+}