--- a/src/HOL/NanoJava/document/root.tex Mon Sep 17 19:49:09 2001 +0200
+++ b/src/HOL/NanoJava/document/root.tex Fri Sep 21 18:23:15 2001 +0200
@@ -36,7 +36,8 @@
implements a new approach for handling auxiliary variables.
A more complex Hoare logic covering a much larger subset of Java is described
in \cite{DvO-CPE01}.\\
-See also the homepage of project Bali at \url{http://isabelle.in.tum.de/Bali/}.
+See also the homepage of project Bali at \url{http://isabelle.in.tum.de/Bali/}
+and the conference version of this document \cite{NanoJava}.
\end{abstract}
\tableofcontents