Winskel, Glynn. 1996. “A Presheaf Semantics of Value-Passing Processes”. BRICS Report Series 3 (44). https://doi.org/10.7146/brics.v3i44.20046.