@inproceedings{winskel1986event,
  title={Event structures},
  author={Winskel, Glynn},
  booktitle={Advanced Course on Petri Nets},
  pages={325--392},
  year={1986},
  organization={Springer}
}