Hilbert's Tenth Problem. Diophantine Equations: Positive Aspects of a Negative Solution, in: Mathematical developments arising from Hilbert (1976)

by M Davis, Y Matiyasevich, J Robinson
Venue:Problems, Proceedings of Symposia in Pure Mathematics, Volume XXVIII, Part 2