на переработанный вариант статью А.В. Замулина и И.Н. Скопина "Конструкции языка программирования как типы данных"
