Robles Muñoz, Cristóbal, Instituto de Historia, CSIC, España