Cattani, G. L.; Winskel, G. Presheaf Models for CCS-Like Languages. BRICS 1999, 6.