Frank Puhlmann: A Unified Formal Foundation for Service Oriented Architectures. EMISA 2006: 7-19