G. L. Cattani og G. Winskel, “Presheaf Models for CCS-like Languages”, BRICS, bd. 6, nr. 36, dec. 1999.