Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario  XKlaim and Klava: Programming Mobile Code.  Electronic Notes in Theoretical Computer Science, 62.  pp. 24-37.  ISSN 1571-0661      (2002)