@inproceedings{workflow,
  title = "{A Process-Algebraic Approach to Workflow Specification and Refinement}",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2007",
  booktitle = "Proceedings of 6th International Symposium on Software Composition",
  month = "March",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
  volume = "4829",
  doi = "10.1007/978-3-540-77351-1_5",
}