También ha escrito varios libros sobre Turing.