Recuperación del léxico especializado del Diccionario Tecnológico Hispano Americano (1930). Diseño de un proyecto XML-TEI