Portuensis, Hippolytus, ??? . 1857. Patrologia Graeca. . ??? 10.