Models of Computation
An Introduction to Computability Theory

Dr Maribel Fernández