@inproceedings{bpmn-csp,
  title = "{A Process Semantics for BPMN}",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 10th International Conference on Formal Engineering Methods.",
  month = "October",
  note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf}.",
  series = "LNCS",
  volume = "5256",
  doi = "10.1007/978-3-540-88194-0_22",
}