Doctor by the Universidad del País Vasco - Euskal Herriko Unibertsitatea with the thesis Implementación de especificaciones algebraicas 1993. Supervised by Dr. María Luisa Navarro Gómez, Dr. Fernando Orejas Valdés.