M. Debbabi, N. Tawbi, and H. Yahyaoui, “A formal dynamic semantics of Java: an essential ingredient of Java security”, JTIT, vol. 10, no. 4, pp. 81–120, Dec. 2002, doi: 10.26636/jtit.2002.4.143.