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