From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. - Antonio Albarrán; Francisco Durán 001; Antonio Vallecillo (JISBD, 2001)