G. Winskel, “An Introduction to Event Structures”, DPB, vol. 18, no. 278, Apr. 1989.