The algorithmic resolution of diophantine equations. - Cambridge University Press, 1998. - ( London Mathematical Society Student Texts ; 41).