@inproceedings{Wong&Gibbons2008:Process,
  title = "A Process Semantics for BPMN",
  author = "Peter Wong and Jeremy Gibbons",
  year = "2008",
  address = "Kitakyushu, Japan",
  booktitle = "International Conference on Formal Engineering Methods",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/bpmn-csp.pdf",
}