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