Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)