W. Amme, T. Heinze, and J. von Ronne, “Intermediate Representations of Mobile Code”, IJCAI, vol. 32, no. 1.