Lenore Blum
Real-number models of computing
Relations between computer science, numerical analysis, algebra