Amme, W.; Heinze, T.; von Ronne, J. Intermediate Representations of Mobile Code. Informatica 32 (1).