Hilbert's Tenth Problem - Matiyasevich, Yuri V. (Massachusetts Institute of Technology Cambridge Mass., 1993)
bibliography: pp.221-255 Εργαστήριο Θεμελιώσεων Επιστήμης Υπολογιστών