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