This text investigates the fundamental principles of computational design and the mathematical underpinnings of programming languages. The authors, Gerald Jay Sussman and Harold Abelson, utilize the Lisp programming language to demonstrate how abstraction, modularity, and the management of time within computational models form the basis of effective software engineering. The book argues that understanding the mechanics of evaluation and state is more critical than mastering any specific syntax.

Experts widely regard this work as a foundational text for computer science education, noting its high level of intellectual rigor and conceptual density. Readers frequently highlight the challenging nature of the exercises, which are designed to force a deep understanding of how programs function at a structural level.