Amme, W.; Heinze, T.; von Ronne, J. Intermediate Representations of Mobile Code. IJCAI 32.