BibTex format
@inproceedings{Foster:2005,
author = {Foster, H and Kramer, J and Magee, JN and Uchitel, S},
title = {Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study},
url = {http://pubs.doc.ic.ac.uk/web-services-case-stur},
year = {2005}
}