Ask HN: what are some essential theoretical computer science books?

Sipser's Theory of Computation is the closest thing I could think of to an all-round essential.