M. Nygaard og G. Winskel, “Linearity in Process Languages”, BRICS, bd. 9, nr. 48, dec. 2002.