Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electronic Notes in Theoretical Computer Science, 264(1):19-34, 2010. [doi]
Abstract is missing.