Computational complexity a quantitative perspective - Zimand, Marius (Elsevier, 2004)