The Algorithmic Resolution of Diophantine Equations door Nigel P. Smart