Debbabi M, Tawbi N, Yahyaoui H. A formal dynamic semantics of Java: an essential ingredient of Java security. JTIT. 2002;10(4):81-120. doi:10.26636/jtit.2002.4.143