I would like to read Pincus' article Adding dependent choice, where he proves, among other things, the consistency of the theory $\mathsf{ZF+DC+O+\neg AC}$, where $\mathsf{DC}$ stands for Dependent Choice and $\mathsf{O}$ is the linear ordering principle, i.e. the statement "Every set can be linearly ordered". But in this paper Pincus uses Cohen's original presentation of forcing, which makes it (at least to me) hard to read.

Is there any newer account on his proof (in a thesis, paper etc.), which uses a more modern approach to forcing? Thanks!