Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  From architectural to behavioural specification of services.  Electronic Notes in Theoretical Computer Science, 253 (1).  pp. 3-21.  ISSN 1571-0661      (2009)