?url_ver=Z39.88-2004&rft_id=10.1007%2F11841197_3&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Boreale%2C+Michele&rft.aulast=Boreale&rft.aufirst=Michele&rft.isbn=3-540-38862-1&rft.btitle=Web+Services+and+Formal+Methods+(WS-FM+2006)&rft.title=SCC%3A+A+Service+Centered+Calculus&rft.date=2006&rft.genre=bookitem