P. D. Mosses og M. Musicante, “An Action Semantics for ML Concurrency Primitives”, BRICS, bd. 1, nr. 20, jul. 1994.