Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198