Wan Fokkink Rooted Branching Bisimulation as a Congruence. 13-37 2000 60 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss60.html#Fokkink00