"Weak Bisimulation Approximants."

Will Harwood, Faron Moller, Anton Setzer (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics