G. Winskel, “A Presheaf Semantics of Value-Passing Processes”, BRICS, bd. 3, nr. 44, jun. 1996.