Automata, Computability and Complexity by Rich