Cristian Calude Elena Calude Bisimulations and behaviour of nondeterministic automata. 60-70 1999 conf/dlt/1999 Developments in Language Theory db/conf/dlt/dlt1999.html#CaludeC99