Algorithms and Complexity - Spirakis (Springer Berlin Heidelberg, 2013)