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