P. D. Mosses, “A Modular SOS for ML Concurrency Primitives”, BRICS, bd. 6, nr. 57, dec. 1999.