This book takes the view that parallel to the pure arithmetic theory over number fields lies the algebraic-geometric theory of algebraic systems, where sections play the role of rational points. The author formulates analogs of classic diophantine problems.
I referenced some stuff in the division polynomial section for my Masters thesis. This book has some good reference stuff, the explicit formulas are nice. I found the proofs to be EXTREMELY light on details.