A theory of weak bisimulation for core CML (1998)

by W Ferreira, M Hennessy, A S A Jeffrey
Venue:J. Functional Programming