The algorithmic resolution of diophantine equations - Smart,Nigel P. (Cambridge CUP, 1998)