Amme, W. et al. . Intermediate Representations of Mobile Code. Informatica. 32, 1 ().