Cattani, G. L. and Winskel, G. (1996) “Presheaf Models for Concurrency”, BRICS Report Series, 3(35). doi: 10.7146/brics.v3i35.20017.