(1)
Mosses, P. D. A Modular SOS for ML Concurrency Primitives. BRICS 1999, 6.