The Once and Future Turing: Computing the World

Alan Turing: His Work and Impact

Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings