References

• Automata and Computability by Dexter C. Kozen
• Computational Complexity : A modern Approach by Sanjeev Arora and Boaz Barak
• Theory of Computation by Dexter C. Kozen