Winskel, Glynn. 2002. “Event Structure Semantics for CCS and Related Languages”. DAIMI Report Series 12 (159). https://doi.org/10.7146/dpb.v12i159.6812.