An efficient algorithm for branching bisimulation and stuttering equivalence - Groote, Jan F.; Vaandrager, Frits W. (1990)