Bisimulation congruences in safe ambients. (2002)

by M Merro, M Hennessy
Venue:ACM SIGPLAN Notices,