Lam's *Serre's Problem on Projective Modules*. It contains everything: The big picture, the proof details, interesting techniques and the links between different methods. I wish more books were like this.