Recursion Theory and Computational Complexity - Lolli, G. (Springer Berlin Heidelberg, 2011)