WINSKEL, G. A Presheaf Semantics of Value-Passing Processes. BRICS Report Series, v. 3, n. 44, 14 Jun. 1996.