De Nicola, Rocco  Action and State-based Logics for Process Algebras.   In:  CONCUR 1991.   Lecture Notes in Computer Science, 527 .  Springer, pp. 20-22.  ISBN 3-540-54430-5      (1991)