Winskel, G. (1989) “An Introduction to Event Structures”, DAIMI Report Series, 18(278). doi: 10.7146/dpb.v18i278.6655.