La primera mención de esta leyenda la recoge la versión en latín de la "Crónica de San Juan de la Peña", también conocida como la "crónica pinatense", que fue redactada dos siglos después del reinado de Ramiro II por mandato del rey Pedro IV el Ceremonioso.