--- a/Journal/document/root.tex	Tue Jul 26 18:12:07 2011 +0000
+++ b/Journal/document/root.tex	Wed Jul 27 12:32:28 2011 +0000
@@ -39,11 +39,11 @@
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions}
-\thanks{This is a revised and expanded version of ???}
+\thanks{This is a revised and expanded version of \cite{WuZhangUrban11}.}
 \author{Chunhan Wu}\address{PLA University of Science and Technology, China}
 \author{Xingyuan Zhang}\sameaddress{1}
 \author{Christian Urban}\address{TU Munich,
-  Germany}\secondaddress{corresponding author}
+  Germany}%%\secondaddress{corresponding author}
 \subjclass{68Q45}
 \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover}