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