G. L. Cattani and G. Winskel, “Presheaf Models for CCS-like Languages”, BRICS, vol. 6, no. 36, Dec. 1999.