De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario  Programming Access Control: The KLAIM Experience.   In:  CONCUR 2000 — Concurrency Theory.   Lecture Notes in Computer Science, 1877 .  Springer, pp. 48-65.  ISBN 3-540-67897-2      (2000)