Hilbert's tenth problem - Matiyasevich, Yuri V. (Foundation of computing series / Garey Michael, Meyer Albert, 1993)