О книгах

Барбара Лисков "Применение абстракций и спецификаций при разработке ПО".
Хоор "Обработка записей".
Болье "Построение компиляторов".
Дейкстра "Параллельные процессы".

-- вот в общем-то и всё - вокруг чего вертится "современный мир ИТ".