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