M. Nygaard and G. Winskel, “Linearity in Process Languages”, BRICS, vol. 9, no. 48, Dec. 2002.