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. 13];10(4):81-120. Available from: https://jtit.pl/jtit/article/view/143