A theory of weak bisimulation for core cml. Computer Science (1995)

by W Ferreira, M Hennessy, A Jeffrey