Cristian Calude, Elena Calude. Bisimulations and behaviour of nondeterministic automata. In Grzegorz Rozenberg, Wolfgang Thomas, editors, Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999. pages 60-70, World Scientific, 1999.
Abstract is missing.