Computational complexity theory, techniques, and applications - Meyers, Robert A. (Springer, 2012)