Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Ivano Salvo. "Mobility Types for Mobile Processes in Mobile Ambients." _Electr. Notes Theor. Comput. Sci._ 78 (2003). DOI: 10.1016/S1571-0661(04)81011-9.