@misc{ifmextend,
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  note = "Extended version. Submitted for publication.",
  title = "Property Specifications for Workflow Modelling",
  year = "2009",
}