1. A Theory of Objects Monographs in Computer Science;Abadi,1996
2. M. Abadi, K.R.M. Leino, A logic of object-oriented programs, in: M. Bidoit, M. Dauchet (Eds.), Proc. TAPSOFT ’97, Lecture Notes in Computer Science, Vol. 1214, Springer, Lille, France, 1997, pp. 682–696. An extended version of this paper appeared as SRC Research Report 161 (September, 1998).
3. E. Ábrahám, An assertional proof system for multithreaded Java—theory and tool support, Ph.D. Thesis, University of Leiden, to appear. A preliminary version can be found at http://www.informatik.uni-freiburg.de/∼eab/phd.ps, 2004.
4. E. Ábrahám, F.S. de Boer, W.-P. de Roever, M. Steffen, A Hoare logic for monitors in Java, Technical Report TR-ST-03-1, Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, April, 2003, URL .
5. E. Ábrahám, F.S. de Boer, W.-P. de Roever, M. Steffen, A compositional operational semantics for JavaMT, in: N. Derschowitz (Ed.), International Symposium on Verification (Theory and Practice), Lecture Notes in Computer Science, Vol. 2772, Springer, Berlin, 2003, pp. 290–303. A preliminary version appeared as Technical Report TR-ST-02-2, May 2002.