Automata and Computability - häftad, Engelska, 2003