Mosses, Peter D., og Martín Musicante. “An Action Semantics for ML Concurrency Primitives”. BRICS Report Series 1, no. 20 (juli 3, 1994). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/21647.