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