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