How the World Computes - Hutchison, David; Kanade, Takeo; Dawar, Anuj; Löwe, Benedikt (Springer Berlin Heidelberg, 2012)