Structure and Interpretation of Computer Programs

The material in this book has been the basis of MIT's entry-level computer science subject and emphasizes several new themes. The most important of these is the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming, lazy evaluation, and nondeterministic programming. We have included new sections on concurrency and nondeterminism, and we have tried to integrate this theme throughout the book.

Description from LibreTexts.