"On two different Characterizations of Bisimulation."

Mila E. Majster-Cederbaum, Markus Roggenbach (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics