--- a/Journal/document/root.bib	Tue Jul 26 18:12:07 2011 +0000
+++ b/Journal/document/root.bib	Wed Jul 27 12:32:28 2011 +0000
@@ -145,4 +145,14 @@
   title     = {{E}lements of {A}utomata {T}heory},
   publisher = {Cambridge University Press},
   year      = {2009}
+}
+
+@inproceedings{WuZhangUrban11,
+  author    = {C.~Wu and X.~Zhang and C.~Urban},
+  title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+  booktitle = {Proc.~of the 2nd 1st Conference on Interactive Theorem Proving},
+  year      = {2011},
+  pages     = {???},
+  series    = {LNCS},
+  volume    = {???}
 }
\ No newline at end of file