Automata, Computability And Complexity by Elaine Rich