Further Reading

1. Davis and Weyuker. Computability, Complexity, and Languages: fundamentals of theoretical computer science. Academic Press, New York, 1983.
2. Crossley, John N. Lecture Note Series: CSE3305, Semester 1, 2003. Monash University, Australia, 2003.