Jos C. M. Baeten;Frits W. Vaandrager
-;-
A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A theory of weak bisimulation for Core CML
Journal of Functional Programming