Computability theory - Cooper S Barry (Boca Raton Chapman & Hall, 2004)
Keywords: Computable functions