Orígenes del Reino Pirenaico, de Arturo Campión
Decimos que el nombre de Navarra se extendió a la totalidad del territorio del Reino, incluso las montañas; extensión que hubo de ser por vía de conveniencia, de simplificar el nombre oficial aplicado a la unidad política que había surgido en el Pirineo.