Reading list: Automata