@inproceedings{Induruwa-Fernando_and_Simpson_2008,
  title = "Towards a formal framework for workflow interoperability",
  author = "Sarah Induruwa-Fernando and Andrew Simpson",
  year = "2008",
  booktitle = "Proceedings of WS-FM (Web Services and Formal Methods) 2008",
  pages = "158--174",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5387",
}