Julia Robinson and Hilbert's Tenth Problem

(2008)