--- a/src/HOL/MicroJava/document/root.bib Mon Sep 18 23:43:56 2000 +0200
+++ b/src/HOL/MicroJava/document/root.bib Mon Sep 18 23:53:27 2000 +0200
@@ -33,7 +33,7 @@
year = {2000},
publisher = {Fernuniversit{{\"a}t} Hagen},
editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
- organization = {Technical Report 269, 5/2000, Fernuniversit{{\"a}t} Hagen},
+ organization = {Technical Report 269, 5/2000},
note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
abstract = {We introduce a Hoare-style calculus for a nearly
full subset of sequential Java, which we call Java_light. In particular,
@@ -62,7 +62,7 @@
year = {2000},
publisher = {Fernuniversit{{\"a}t} Hagen},
editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
- organization = {Technical Report 269, 5/2000, Fernuniversit{{\"a}t} Hagen},
+ organization = {Technical Report 269, 5/2000},
note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
url = {\url{http://www4.in.tum.de/~nipkow/pubs/lbv.html}}
}