"Linearity and Bisimulation."

Nobuko Yoshida, Kohei Honda, Martin Berger (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics