Debbabi, Mourad, et al. “A Formal Dynamic Semantics of Java: An Essential Ingredient of Java Security”. Journal of Telecommunications and Information Technology, vol. 10, no. 4, Dec. 2002, pp. 81-120, https://doi.org/10.26636/jtit.2002.4.143.