Title: Historia sanctorum martyrum Cordubensium Ruderici