Bettini, Lorenzo and De Nicola, Rocco  Mobile Distributed Programming in X-Klaim.   In:  Formal Methods for Mobile Computing.   Lecture Notes in Computer Science, 3465 .  Springer, pp. 29-68.  ISBN 3-540-25697-0      (2005)