Luís Cruz-Filipe Ivan Lanese Francisco Martins António Ravara Vasco Thudichum Vasconcelos Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. 59-77 2008 FMOODS http://dx.doi.org/10.1007/978-3-540-68863-1_5 conf/fmoods/2008 db/conf/fmoods/fmoods2008.html#Cruz-FilipeLMRV08