De Nicola, Rocco and Vaandrager, Frits W.  Three Logics for Branching Bisimulation.  J. ACM, 42 (2).  pp. 458-487.  ISSN 0004-5411      (1995)