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