--- a/Paper/document/root.bib	Wed Feb 06 13:28:01 2013 +0000
+++ b/Paper/document/root.bib	Wed Feb 06 14:06:18 2013 +0000
@@ -1,3 +1,12 @@
+
+
+@PhdThesis{Myreen09,
+  author =	 {M.~O.~Myreen},
+  title = 	 {{F}ormal {V}erification of {M}achine-{C}ode {P}rograms},
+  year = 	 2009,
+  school =  {University of Cambridge}
+}
+
 @article{Nipkow98,
   author={T.~Nipkow},
   title={{W}inskel is (almost) {R}ight: {T}owards a {M}echanized {S}emantics {T}extbook},