How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18 - 23, 2012 ; proceedings (Springer, 2012)