Структура и интерпретация компьютерных программ

Теория: Процедуры как абстракции