G. Winskel, “A Presheaf Semantics of Value-Passing Processes”, BRICS, vol. 3, no. 44, Jun. 1996.