Caires, Luis and Torres Vieira, Hugo Analysis of service oriented software systems with the conversation calculus. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (6921). Springer, pp. 6-33. ISBN 978-3-642-27269-1 (2012)