Cattani, Gian Luca, Ian Stark, and Glynn Winskel. 1997. “Presheaf Models for the Pi-Calculus”. BRICS Report Series 4 (34). https://doi.org/10.7146/brics.v4i34.18960.