Winskel, G. “Event Structure Semantics for CCS and Related Languages”. DAIMI Report Series, vol. 12, no. 159, Apr. 2002, doi:10.7146/dpb.v12i159.6812.