The Nature of Computation. Logic, Algorithms, Applications - Bonizzoni (Springer Berlin Heidelberg, 2013)