DEBBABI, Mourad; TAWBI, Nadia; YAHYAOUI, Hamdi. A formal dynamic semantics of Java: an essential ingredient of Java security. Journal of Telecommunications and Information Technology, Warsaw, Poland, v. 10, n. 4, p. 81–120, 2002. DOI: 10.26636/jtit.2002.4.143. Disponível em: https://jtit.pl/jtit/article/view/143. Acesso em: 15 jun. 2026.