@inproceedings{qsic2008,
  title = "{Verifying Business Process Compatibility}",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 8th International Conference on Quality Software.",
  month = "August",
  note = "Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed
and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007",
  pages = "126-131",
  publisher = "IEEE Computer Society",
  url = "http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf",
  doi = "10.1109/QSIC.2008.6",
}