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