Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Types and Effects for Secure Service Orchestration. 57-69 2006 conf/csfw/2006 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.31 db/conf/csfw/csfw2006.html#BartolettiDF06