@inproceedings{Wong&Gibbons2008:Verifying,
  title = "Verifying Business Process Compatibility",
  author = "Peter Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "8th International Conference on Quality Software (QSIC)",
  note = "Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing, Leicester, United Kingdom, June 2007, and 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'07), Paphos, Cyprus, June 2007",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/compatibility.pdf",
}