De Nicola, Rocco and Loreti, Michele  MoMo: A Modal Logic for Reasoning About Mobility.   In:  Formal Methods for Components and Objects (FMCO 2004).   Lecture Notes in Computer Science, 3657 .  Springer, pp. 95-119.  ISBN 3-540-29131-8      (2004)