Winskel, G. An Introduction to Event Structures. DPB 1989, 18.