Matii͡asevich I͡U. V. 1993. <i>Hilbert's Tenth Problem</i>. Cambridge, Mass: MIT Press.