Michael Sipser
Planned
Computability & Complexity
In the wiki:Theory of Computation
Not reviewed yet.