Структура и Интерпретация Компьютерных Программ. Харольд Абельсон, Джеральд Джей Сассман