Computational Complexity Theory, Techniques, and Applications - Meyers, Robert A. (Springer New York : Imprint: Springer, 2012)