Сборник посвящен новому направлению в системном и теоретическом программировании — разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. В числе авторов — известные специалисты, основатели этого направления — Ч. Хоар, Д. Скотт (Великобритания), Д. Парнас (США) и др.
Для программистов и математиков, интересующихся методологией, языковыми и математическими основами программирования.