Writings of Hippolytus, Bishop of Portus.