Je rey, A theory of weak bisimulation for core CML (1996)

by W Ferreira, M Hennessy, A
Venue:in: Proc. ICFP’96, ACM