Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi. Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electronic Notes in Theoretical Computer Science, 105:11-20, 2004. [doi]
Abstract is missing.