Su amplísima biblioteca especializada fue donada a su muerte a la Real Academia Española (RAE).