De Nicola, Rocco and Vaandrager, Frits W.  Action versus State based Logics for Transition Systems.   In:  Semantics of Systems of Concurrent Processes.   Lecture Notes in Computer Science, 469 .  Springer, pp. 407-419.  ISBN 3-540-53479-2      (1990)