Spanish writer and historian (1918-2012)