G. Winskel, “An Introduction to Event Structures”, DPB, bd. 18, nr. 278, apr. 1989.