Frank Puhlmann A Unified Formal Foundation for Service Oriented Architectures. 7-19 2006 conf/emisa/2006 EMISA db/conf/emisa/emisa2006.html#Puhlmann06