Diophantine equations over function fields - Mason, R. C. (Cambridge University Press, 1984)