Nr. 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages