Models of Computation An Introduction to Computability Theory - Fernández, Maribel (Springer London, 2009)