G. L. Cattani og G. Winskel, “Presheaf Models for Concurrency”, BRICS, bd. 3, nr. 35, jun. 1996.