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

W świecie informatycznym książka ta jest uważana za najlepszy podręcznik do wykładu ''Wstęp do programowania''. Autorzy wyraźnie 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 nie należy uczyć się przez poznanie składni danego języka programowania czy wyrafinowanych algorytmów, czy wreszcie matematycznej analizy programów, a raczej przez poznanie technik kontroli złożoności dużych systemów oprogramowania. Swoje podejście do nauki programowania przedstawiają za pomocą języka funkcyjnego Scheme, a nie tak dziś modnego 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. Książka jest przeznaczona dla studentów informatyki i matematyki na uczelniach wyższych. Spis treści: Słowo wstępne Przedmowa do drugiego wydania Przedmowa do pierwszego wydania Podziękowania 1.Budowanie abstrakcji za pomocą procedur 2.Budowanie abstrakcji za pomocą danych 3.Modularność, obiekty i stany4.Abstrakcja metajęzykowa 5.Obliczenia z użyciem maszyn rejestrowych Literatura Wykaz ćwiczeń Skorowidz