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