G. L. Cattani and G. Winskel, “Presheaf Models for Concurrency”, BRICS, vol. 3, no. 35, Jun. 1996.