Mosses, P. D. (1999) “A Modular SOS for ML Concurrency Primitives”, BRICS Report Series, 6(57). doi: 10.7146/brics.v6i57.20127.