Models of computation an introduction to computability theory - Fernández, Maribel (New York Springer, 2009)
Keywords: Computable functions; Turing machines