Winskel, G. Event Structures As Presheaves —Two Representation Theorems. BRICS 1999, 6.