Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  A Calculus for Orchestration of Web Services.   In:  Programming Languages and Systems (ESOP 2007).   Lecture Notes in Computer Science, 4421 .  Springer, pp. 33-47.  ISBN 978-3-540-71314-2      (2007)