Lenore Blum. Alan Turing and the other theory of computation (expanded). In Rod Downey, editor, Turing's Legacy: Developments from Turing's Ideas in Logic. Volume 42 of Lecture Notes in Logic, pages 48-69, Cambridge University Press, 2014. [doi]
Abstract is missing.