@inproceedings{WebServiceTaxonomy,
  title = "A taxonomy of web services in {CSP}",
  author = "A. W. Roscoe and A. Martin and L. Momtahan",
  year = "2005",
  booktitle = "{Proceedings of Web Languages and Formal Methods 2005}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/112.pdf",
}