From Rewrite Rules to Bisimulation Congruences (1998)

by Peter Sewell
Venue:THEORETICAL COMPUTER SCIENCE