Computational Complexity : A Quantitative Perspective - Zimand, Marius (Elsevier, 2004)