What about Ribet's great Inventiones paper from the 70's _A modular construction of unramified $p$-extensions of $\mathbf{Q}(\mu_p)$_ ? I think it should be mentioned!

[From Ribet's website](https://math.berkeley.edu/~ribet/Articles/invent_34.pdf) (pdf) or [EuDML](https://eudml.org/doc/142394)