Debbabi, Mourad, Nadia Tawbi, and Hamdi Yahyaoui. 2002. “A Formal Dynamic Semantics of Java: An Essential Ingredient of Java Security”. Journal of Telecommunications and Information Technology 10 (4): 81-120. https://doi.org/10.26636/jtit.2002.4.143.