Debbabi, Mourad, Nadia Tawbi, and Hamdi Yahyaoui. “A Formal Dynamic Semantics of Java: An Essential Ingredient of Java Security”. Journal of Telecommunications and Information Technology 10, no. 4 (December 30, 2002): 81–120. Accessed June 13, 2026. https://jtit.pl/jtit/article/view/143.