G. L. Cattani, I. Stark, and G. Winskel, “Presheaf Models for the pi-Calculus”, BRICS, vol. 4, no. 34, Jun. 1997.