--- a/Paper/document/root.bib	Fri Mar 29 01:36:45 2013 +0000
+++ b/Paper/document/root.bib	Fri Mar 29 02:40:38 2013 +0000
@@ -143,3 +143,9 @@
 }
 
 
+@phdthesis{Zammit99,
+author = {V.~Zammit},
+title = {{O}n the {R}eadability of {M}achine {C}heckable {F}ormal {P}roofs},
+year = {1999},
+school = {University of Kent}}
+