Leram - Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science