Complexity and real computation - Blum, Lenore. (Springer, 1998)