Notes for chapter 4: "Automating computation"
Recommended computer science literature
The book Structure and Interpretation of Computer Programs has become a classic of the field. The full text is available (HTML, PDF, program source code), as is a series of video lectures by the same authors.