A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.