G. Winskel, “A Linear Metalanguage for Concurrency”, BRICS, vol. 5, no. 31, Jun. 1998.