Computational Complexity: A Modern Approach

That first bit is helpful to understanding what this is linking to.