@incollection{eprints378,
           title = {Three Logics for Branching Bisimulation (Extended Abstract)},
       booktitle = {LICS},
            year = {1990},
       publisher = {IEEE Computer Society},
          author = {Rocco De Nicola and Frits W. Vaandrager},
           pages = {118--129},
             url = {http://eprints.imtlucca.it/378/}
}