Diccionario de Autoridades. (Ed. Gredos, 1979)