Opera omnia - Silvester, II., Papa (Migne, 1880)