Errenteria (Gipuzkoa) en la Edad Media, según Gregorio Hombrados Oñativia