Essential transitions to bisimulation equivalences
scientific article; zbMATH DE number 1178214