Struktura i interpretacja programów komputerowych - Harold Abelson, Gerald Jay Sussman

Książka ta jest uważana za najlepszy podręcznik do wykładu Wstęp do programowania. Autorzy dają do zrozumienia, że programy pisze się nie tylko po to, by je wykonywać, ale także po to, by je czytać , modyfikować i rozwijać. Sztuki programowania należy uczyć się przez poznanie technik kontroli złożoności dużych systemów oprogramowania. Swoje podejście do programowania przedstawiają za pomocą języka funkcyjnego Scheme, a nie języka obiektowego, na przykład C++. Omawiają abstrakcje, w tym zasady łączenia procedur i danych w twory wyższego rzędu, modularność, obiekty i stan. Przedstawiają abstrakcję metajęzykową. Opisują zagadnienia związane z konstrukcją ewaluatorów i programowaniem w logice. Sporo miejsca poświęcają użyciu maszyn rejestrowych. Rozważania teoretyczne popierają licznymi, doskonale dobranymi, przykładami. Zamieszczają też wiele zadań do samodzielnego rozwiązania.