Debbabi, M., Tawbi, N., & Yahyaoui, H. (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