@article{ifmextend,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2010",
  journal = "Science of Computer Programming",
  note = "Extended version. To appear.",
  doi = "10.1016/j.scico.2010.09.007",
}