What about
- Cornell-Silverman-Stevens, Modular Forms and Fermat's Last Theorem
- Darmon-Diamond-Taylor, Fermat's Last Theorem, http://modular.math.washington.edu/edu/2011/581g/misc/Darmon-Diamond-Taylor-Fermats_Last_Theorem.pdf
- Diamond-Shurman, A First Course in Modular FormForms
- some of Milne's course notes http://jmilne.org/math/CourseNotes/index.html
- William Stein's course notes http://sage.math.washington.edu/edu/Fall2003/252/lectures/?

