A theory of weak bisimulation for core (1996)

by W Ferreira, M Hennessy, A Jerey
Venue:CML, Proc. ICFP'96, ACM