1. A. Albarrán, F. Durán, A. Vallecillo, From Maude specifications to SOAP distributed implementations: a smooth transition, In: Proc. VI Jornadas de Ingenierı́a del Software y Bases de Datos, JISBD 2001, Almagro, Spain, November 21–23, 2001.
2. A. Albarrán, F. Durán, A. Vallecillo, Maude meets CORBA, in: Proc. 2nd Argentine Symp. on Software Engineering, Buenos Aires, Argentina, September 10–11, 2001.
3. A. Albarrán, F. Durán, A. Vallecillo, On the smooth implementation of component-based system specifications, in: Proc. 6th ECOOP Internat. Workshop on Component-Oriented Programming, WCOP’01, Budapest, Hungary, June, 2001.
4. N. Aoumeur, G. Saake, On the specification and validation of cooperative information systems using an extended Maude, in: K. Futatsugi, J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods ’99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999, pp. 95–114.
5. Algebraic specification of concurrency;Astesiano,1993