Glynn Winskel An introduction to event structures. 364-397 1988 conf/rex/1988 REX Workshop db/conf/rex/rex88.html#Winskel88 http://dx.doi.org/10.1007/BFb0013026