Формально обосновывается реализация алгебраических спецификаций абстрактных типов данных посредствам алголоподобных процедур с "более конкретными" типами данных, которая позволяет сочетать логические и процедурные средства на всех этапах пошаговой разработки программ вплоть до уровня конкретного языка программирования.
