@inproceedings{pattern,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2009",
  booktitle = "Proceedings of 7th International Conference on Integrated Formal Methods",
  month = "February",
  note = "Invited for special issue in Science of Computer Programming. Technical report version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf}",
  series = "LNCS",
  volume = "5423",
  doi = "10.1007/978-3-642-00255-7_5",
}