G. Winskel, “A Linear Metalanguage for Concurrency”, BRICS, bd. 5, nr. 31, jun. 1998.