Cattani, G. L.; Winskel, G. Presheaf Models for Concurrency. BRICS 1996, 3.