Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3): 367-395 (2004)