Bonsangue M, Caltais G, Goriac E, Lucanu D, Rutten J, Silva A.? 2011.??Automatic equivalence proofs for non-deterministic coalgebras (revised and extended). :1-38.