Nygaard, M.; Winskel, G. Linearity in Process Languages. BRICS 2002, 9.