Bucchiarone, Antonio and Lluch-Lafuente, Alberto and Marconi, Annapaola and Pistore, Marco A Formalisation of Adaptable Pervasive Flows. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 61-75. ISBN 978-3-642-14457-8 (2009)