"Behavioural equivalences for coalgebras with unobservable moves."

Tomasz Brengos, Marino Miculan, Marco Peressotti (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics