Amadio, Roberto M., Prasad, Sanjiva, Modelling IP Mobility, 1997.[BibTeX][Details]
Note: http://www.inria.fr/rrrt/rr-3301.html, accessed July 2002.