Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko  A symbolic semantics for a clculus for service-oriented computing.  Electronic Notes in Theoretical Computer Science, 241.  pp. 135-164.  ISSN 1571-0661      (2009)