B. Jack Copeland, Shagrir, Oron , and Sprevak, Mark . Submitted. “Zuse's Thesis, Gandy's Thesis, And Penrose's Thesis”. In , Pp. 39–59. Cambridge University Press. doi:10.1017/9781316759745.003.