Models of Computation : An Introduction to Computability Theory - Fernández, Maribel (Verfasser) (Undergraduate Topics in Computer Science, 2009)