From rewrite rules to bisimulation congruences (2002)

by Peter Sewell
Venue:Theor. Comput. Sci