Bruni, R., Corradini, A. and Montanari, U. (2010) “Modeling a Service and Session Calculus with Hierarchical Graph Transformation”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.427.