@inproceedings{Wong&Gibbons2007:ProcessAlgebraic,
  title = "A Process-Algebraic Approach to Workflow Specification and Refinement",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2007",
  booktitle = "Software Composition",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
}