Vol. 41. Smart, Nigel Paul
The algorithmic resolution of diophantine equations : a computational cookbook
QA242 S53