Enciclopedia de historia de España / dirigida por Miguel Artola. Vol. IV. Diccionario biográfico - Artola, Miguel (1923-)