This reader’s recommendations and supporting excerpts from the sampled discussions.
2 books
The Annotated Turing by Petzold
Theory of Computation by Sipser.