1. AGILE. Architectures for mobility. http://www.pst.informatik.uni-muenchen.de , 2002.
2. Raymond Buhr and Ronald Casselman. Use Case Maps for Object-Oriented Systems. Prentice-Hall, USA, 1995.
3. Luca Cardelli. Mobility and security. In F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. Proc. NATO Advanced Study Institute, pages 3–37. IOS Press, 2000.
4. Lect Notes Comput Sci;L. Cardelli,1998
5. Lect Notes Comput Sci;F. Durán,2000