The Historia General de Navarra by Jaime del Burgo says (referencing in turn the Anales del Reino de Navarra of José de Moret) that on the occasion of the donation of the villa of Alastue by Sancho to the monastery of San Juan de la Peña in 987, he titled himself "King of Navarre," the first time that title had been used.