Rocco De Nicola and Michele Loreti "A Modal Logic for KLAIM" pp339ff

Rus T. (2000) Rus T. (Ed.): Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings LNCS 1816  

Languages mentioned Klaim {1997} Kernel Language for Agents Interaction and Mobility