Celebratio Mathematica

M. Dav­is, H. Put­nam, and J. Robin­son: “The de­cision prob­lem for ex­po­nen­tial di­o­phant­ine equa­tions,” Ann. Math. (2) 74 : 3 (November 1961), pp. 425–​436. MR 133227 Zbl 0111.​01003 article

M. Dav­is, Y. Mati­jasevič, and J. Robin­son: “Hil­bert’s tenth prob­lem: Di­o­phant­ine equa­tions: Pos­it­ive as­pects of a neg­at­ive solu­tion,” pp. 323–​378 in Math­em­at­ic­al de­vel­op­ments arising from Hil­bert prob­lems (DeKalb, IL, 13–17 May 1974), Part 2. Edi­ted by F. E. Browder. Pro­ceed­ings of Sym­po­sia in Pure Math­em­at­ics 28. 1976. With a loose-leaf er­rat­um. MR 432534 Zbl 0346.​02026 incollection

L. Hen­kin, D. H. Lehmer, E. Lehmer, E. Scott, J. Kel­ley, L. Gaal, D. Gale, M. Dav­is, S. Mac Lane, I. Niven, E. Pitch­er, L. Blum, and S. Fe­fer­man: “Ju­lia Bow­man Robin­son: 1919–1985,” No­tices Am. Math. Soc. 32 : 6 (November 1985), pp. 739–​742. MR 811002 Zbl 0571.​01026 article

M. Dav­is: “Robin­son, Ju­lia Bow­man,” pp. 265–​268 in Dic­tion­ary of sci­entif­ic bio­graphy, vol. 24. Edi­ted by F. L. Holmes and C. C. Gil­lis­pie. Charles Scrib­n­er’s Sons (New York), 1990. incollection

C. Re­id: Ju­lia: A life in math­em­at­ics. MAA Spec­trum. Math­em­at­ic­al As­so­ci­ation of Amer­ica (Wash­ing­ton, DC), 1996. With con­tri­bu­tions by Lisl Gaal, Mar­tin Dav­is and Yuri Mati­jasevich. MR 1418864 Zbl 0868.​01020 book