Debbabi, M.; Tawbi, N.; Yahyaoui, H. A Formal Dynamic Semantics of Java: An Essential Ingredient of Java Security. JTIT 2002, 10 (4), 81-120. https://doi.org/10.26636/jtit.2002.4.143.