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