"Isidoro de Peralta y Rojas (persIndias2820)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved