Corradini, Flavio and De Nicola, Rocco and Labella, Anna  Graded Modalities and Resource Bisimulation.   In:  FSTTCS.   Lecture Notes in Computer Science, 1738 .  Springer, pp. 381-393.  ISBN 3-540-66836-5      (1999)