From rewrite rules to bisimulation congruences (1992)

by P Sewell
Venue:In Proc. CONCUR