Jorge Puente Peinador
PhD Thesis, Department of Computer Science, University of Oviedo. September 2001. Directed by Ramiro Varela Arias and María Camino Rodríguez Vela.