Introducción a la teoría de la computación
1967·no ficcion
Un texto seminal que establece las bases de la teoría de la complejidad computacional, introduciendo medidas axiomáticas de la complejidad de las funciones computables y el famoso teorema de speedup de Blum.