Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto  A Graph Syntax for Processes and Services.   In:  Web Services and Formal Methods (WS-FM’09).   Lecture Notes in Computer Science, 6194 .  Springer, pp. 46-60.  ISBN 978-3-642-14457-8      (2009)