Machines, Computations, and Universality

Bok