How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings - Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt (Springer Berlin Heidelberg, 2012)