Amar Bouali Robert de Simone Symbolic Bisimulation Minimisation. 96-108 1992 conf/cav/1992 CAV db/conf/cav/cav1992.html#BoualiS92 http://dx.doi.org/10.1007/3-540-56496-9_9