Cattani, Gian Luca, and Glynn Winskel. 1999. “Presheaf Models for CCS-Like Languages”. BRICS Report Series 6 (36). https://doi.org/10.7146/brics.v6i36.20105.