Cattani, G. L., Stark, I., & Winskel, G. (1997). Presheaf Models for the pi-Calculus. BRICS Report Series, 4(34). https://doi.org/10.7146/brics.v4i34.18960