Debbabi, M. et al. 2002. A formal dynamic semantics of Java: an essential ingredient of Java security. Journal of Telecommunications and Information Technology. 10, 4 (Dec. 2002), 81–120. DOI:https://doi.org/10.26636/jtit.2002.4.143.