I'm currently reading Diamond and Shurman's book a First Course in Modular Forms and I've found it to be a wonderful introduction to the modularity theorem. Is there a similar introductory book for Faltings' proof of the Mordell conjecture?
All I've found so far are articles by Bloch and Mazur and while they give a good introduction of the ideas involved I'm looking for something with a little more detail, yet still friendly to beginners, preferably analogous to Diamond and Shurman or even the more introductory book of Hellegouarch on Fermat's Last Theorem.