Aiello, Marco and Frankova, Ganna and Malfatti, Daniela (2005) What’s in an agreement? A formal analysis and an extension of WS-Agreement. UNSPECIFIED. (Unpublished)