1. J. Alves-Foss (Ed.), Formal Syntax and Semantics of Java, Lecture Notes in Computer Science, vol. 1523, Springer, Berlin, 1999
2. I. Attali, D. Caromel, H. Nilsson, M. Russo, From executable formal specification to Java property verification, in: S. Drossopoulou et al. [12], pp. 1–7. Available from www.informatik.fernuni-hagen.de/pi5/publications.html
3. I. Attali, D. Caromel, M. Russo, A formal and executable semantics for Java, in: Proceedings of Formal Underpinnings of Java, an OOPSLA'98 Workshop, Vancouver, Canada, October 1998, Technical Report, Princeton University. Available from ftp://ftp-sop.inria.fr/oasis/Marjorie.Russo/OopslaWorkshop98.ps.gz
4. G. Barthe, G. Dufay, L. Jakubiec, B. Serpette, S. Sousa, S.-W. Yu, Formalization in Coq of the Java Card virtual machine, in: S. Drossopoulou et al. [12], pp. 50–56. Available from www.informatik.fernuni-hagen.de/pi5/publications.html
5. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual, Centaur: the system, in: Proceedings of SIGSOFT'88, Third Annual Symposium on Software Development Environments (SDE3), Boston, MA, USA, 1988