Automata and Computability - häftad, Engelska, 2012