Does anyone know a reference for the proof of the finite generation of the MordellWeil group over finitely generated fields?

It is in Lang's book "Fundamentals of diophantine geometry", chapter 6: google book preview 


Does anyone know a reference for the proof of the finite generation of the MordellWeil group over finitely generated fields? 


It is in Lang's book "Fundamentals of diophantine geometry", chapter 6: google book preview 

