@inproceedings{MomtahanMartinRoscoe:Taxonomy,
  author = "Lee Momtahan and Andrew Martin and A. W. Roscoe",
  booktitle = "Proceedings of Web Languages and Formal Methods",
  title = "A Taxonomy of Web Services Using {CSP}",
  year = "2005",
}