Winskel, G. (1998). A Linear Metalanguage for Concurrency. BRICS Report Series, 5(31). https://doi.org/10.7146/brics.v5i31.19437