Building Abstractions with Procedures

Building Abstractions with Data

Modularity, Objects, and State

Metalinguistic Abstraction

Computing with Register Machines

Structure and Interpretation of Computer Programs is a computer science textbook by Harold Abelson and Gerald Jay Sussman. The book is known for its view of programming as a scientific discipline with its own methods and laws. Written primarily in Scheme, a dialect of Lisp, it emphasizes the importance of functional programming and introduces various ideas from the science of computation.