“Intermediate Representations of Mobile Code”, IJCAI, vol. 32, no. 1, Accessed: Jun. 20, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/173