Nygaard, M. and Winskel, G. (2002) “Linearity in Process Languages”, BRICS Report Series, 9(48). doi: 10.7146/brics.v9i48.21763.