de Diego, Emilio. " Juan Velarde: un historiador importante" Boletín de la Real Sociedad Geográfica [En línea], Número CLXI (26 diciembre 2023)