Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)