src/HOL/NanoJava/document/root.bib

--- a/src/HOL/NanoJava/document/root.bib	Wed Aug 29 21:17:24 2001 +0200
+++ b/src/HOL/NanoJava/document/root.bib	Thu Aug 30 15:47:30 2001 +0200
@@ -30,6 +30,8 @@
         title = {Hoare Logic for {J}ava in {Isabelle/HOL}},
         journal = {Concurrency: Practice and Experience},
         year = {2001},
+        volume = 598,
+        pages = {??--??+43},
         url = {http://www4.in.tum.de/papers/DvO-CPE01.html},
         abstract = {
 This article presents a Hoare-style calculus for a substantial subset