Debbabi, M., Tawbi, N. and Yahyaoui, H. (2002) “A formal dynamic semantics of Java: an essential ingredient of Java security”, Journal of Telecommunications and Information Technology, 10(4), pp. 81–120. doi:10.26636/jtit.2002.4.143.