Cattani, G. L. and Winskel, G. (1999) “Presheaf Models for CCS-like Languages”, BRICS Report Series, 6(36). doi: 10.7146/brics.v6i36.20105.