Stefan Blom Simona Orzan A distributed algorithm for strong bisimulation reduction of state spaces. 74-86 2005 7 STTT 1 http://www.springerlink.com/index/10.1007/s10009-004-0159-4 db/journals/sttt/sttt7.html#BlomO05