1. Lecture Notes in Computer Science;T. Amtoft,2001
2. Amtoft, T., Makholm, H., Wells, J.B.: PolyA: True Type Polymorphism for Mobile Ambients. In: TCS 2004 (2004) (to appear)
3. Barendregt, H.P.: The Lambda Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol. 103, revised edition. North-Holland, Amsterdam (1984)
4. Boudol, G.: A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1 (2003), available at http://mikado.di.fc.ul.pt/repository/D1.2.1.pdf
5. Bugliesi, M., Castagna, G.: Behavioral Typing for Safe Ambients. Computer Languages 28(1), 61–99 (2002)