"Bisimulation is Not Finitely (First Order) Equationally Axiomatisable"

Peter Sewell (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics