Ardaiz, Cerio, Freitag, Gallardo, Marques, Meseguer, Navarro, Sanjeevan "Sistemas distribuidos y SCL" disponible en http://sensei.ieec.uned.es/cgi-bin/aepia/contenidoNum.pl?numero=24,