"Coalgebraic Weak Bisimulation from Recursive Equations over Monads."

Sergey Goncharov, Dirk Pattinson (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics