1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)
2. Abadi, M., Cardelli, L.: A Theory of Primitive Objects. DEC Research Labs, TR (1995)
3. Lecture Notes in Computer Science;M. Abadi,1995
4. Barendregt, H.P.: The Lambda Calculus, its Syntax and Semantics, 2nd edn. North-Holland, Amsterdam (1984)
5. Briais, S., Nestmann, U.: Mobile objects must move safely. In: Formal Methods for Open Object-Based Distributed Systems IV. Proceedings of FMOODS’2002, University of Twente, the Netherlands, Kluwer Academic Publishers, Dordrecht (2002)