Models of computation : an introduction to computability theory / Maribel Fernandez. - Fernandez, Maribel (Undergraduate topics in computer science, 2009)