Models of computation an introduction to computability theory - Fernández, Maribel (Undergraduate topics in computer science, 2009)