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