On Computational Complexity and Algorithms

Important as it shows with formal proofs how to classify sequences into different levels of difficulty based on computability