Winskel, G. “A Presheaf Semantics of Value-Passing Processes”. BRICS Report Series, vol. 3, no. 44, June 1996, doi:10.7146/brics.v3i44.20046.