A Theory of Weak Bisimulation for Core CML (1993)

by William Ferreira, Matthew Hennessy, Alan Jeffrey
Venue:J. Functional Programming