Абстрактный тип данных. Часть 2: Управление данными

[borshak]

Отличное введение в АТД (как концепцию информатики) есть в курсе MIT 6.001 SiCP (2-я часть, «Абстракция данных»).

Подробно о ТД (типах данных) — в книге Бенджамина Пирса «Типы в языках программирования».

И то, и другое, можно легко найти в виде PDF в великолепном переводе на русский.