Branching time and abstraction in bisimulation semantics
Branching time and abstraction in bisimulation semantics / R.J. van Glabbeek, W.P. Weijland