Sanctorum Hildefonsi, Leodegarii, Juliani Toletani, Augustodunensis et iterum Toletani Episcoporum Opera omnia - Ildefonso, Santo (Patrologiae cursus completus. . Series latina prior, 1862)