N
[dNV90] Rocco de Nicola and Frits Vaandrager. Action versus state based logics for transition systems. In Semantics of Systems of Concurrent Processes, Lecture Notes in Computer Science 469, pages 407-419. Springer-Verlag, April 1990. 
@inproceedings{litp1990-DV,
  author =              {de Nicola, Rocco and Vaandrager, Frits},
  title =               {Action versus state based logics for transition
                         systems},
  editor =              {Guessarian, Ir{\`e}ne},
  booktitle =           {Semantics of Systems of Concurrent Processes},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {469},
  pages =               {407-419},
  year =                {1990},
  month =               apr,
  doi =                 {10.1007/3-540-53479-2_17},
}
List of authors