De Nicola, Rocco and Loreti, Michele  A Modal Logic for KLAIM.   In:  Algebraic Methodology and Software Technology (AMAST 2000).   Lecture Notes in Computer Science, 1816 .  Springer, pp. 339-354.  ISBN 3-540-67530-2      (2000)