The Nature of Computation. Logic, Algorithms, Applications - Bonizzoni, Paola; Brattka, Vasco; Löwe, Benedikt (Springer Berlin Heidelberg, 2013)