Debbabi M, Tawbi N, Yahyaoui H. A formal dynamic semantics of Java: an essential ingredient of Java security. JTIT [Internet]. 2002 Dec. 30 [cited 2026 Jun. 15];10(4):81-120. Available from: https://www.jtit.pl/jtit/article/view/143