Three logics for branching bisimulation
Journal of the ACM
Frits Vaandrager
A theory of normed simulations