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