Automata, Universality, Computation - heftet, Engelsk, 2016