Definability and Decision Problems in Arithmetic. - Julia Robinson (J. Symb. Log., 1949)

An Introduction to Hyperarithmetical Functions. - Julia Robinson (J. Symb. Log., 1967)

Point symmetry of convex digital regions. - Julia Robinson; C. E. Kim (CVPR, 1988)