[1]
P. D. Mosses, “A Modular SOS for ML Concurrency Primitives”, BRICS, vol. 6, no. 57, Dec. 1999.