--- a/document/root.bib	Sun Dec 30 14:58:48 2012 +0000
+++ b/document/root.bib	Sun Dec 30 21:18:39 2012 +0000
@@ -7,3 +7,33 @@
   year = {2011},
   pages = {15:1--15:42}
 }
+
+@inproceedings{Norrish11,
+  author    = {M.~Norrish},
+  title     = {{M}echanised {C}omputability {T}heory},
+  booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving (ITP)},
+  year      = {2011},
+  series    = {LNCS},
+  volume    = {6898},
+  pages     = {297--311}
+}
+
+@inproceedings{AspertiRicciotti12,
+  author    = {A.~Asperti and W.~Ricciotti},
+  title     = {{F}ormalizing {T}uring {M}achines},
+  booktitle = {Proc.~of the 19th International Workshop on Logic, Language, 
+               Information and Computation (WoLLIC)},
+  year      = {2012},
+  pages     = {1-25},
+  series    = {LNCS},
+  volume    = {7456}
+}
+
+
+@Unpublished{WuZhangUrban12,
+  author = 	 {C.~Wu and X.~Zhang and C.~Urban},
+  title = 	 {???},
+  note = 	 {Submitted},
+  year = 	 {2012}
+}
+