--- a/Journal/document/root.bib	Wed Aug 17 17:36:19 2011 +0000
+++ b/Journal/document/root.bib	Fri Aug 19 06:57:57 2011 +0000
@@ -1,3 +1,13 @@
+
+
+
+@PhdThesis{Haftmann09,
+  author = 	 {F.~Haftmann},
+  title = 	 {{C}ode {G}eneration from {S}pecifications in {H}igher-{O}rder {L}ogic},
+  school = 	 {Technical University of Munich},
+  year = 	 {2009}
+}
+
 @article{Harper99,
   author    = {R.~Harper},
   title     = {{P}roof-{D}irected {D}ebugging},