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