Jean-Claude Fernandez An Implementation of an Efficient Algorithm for Bisimulation Equivalence. 219-236 1989 13 Sci. Comput. Program. 1 db/journals/scp/scp13.html#Fernandez89