Hilbert's tenth problem - Matiiasevich, IU. V. (IUrii V.) (MIT Press, 1993)