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