Branching time and orthogonal bisimulation equivalence
Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaag