Предложено развитие алгеброалгоритмического инструментария проектирования и синтеза программ
для конструирования спецификаций алгоритмов, сочетающих совместное описание данных и потоков
управления в алгебре алгоритмов с данными. Применение предложенных алгебраического подхода и
инструментария проиллюстрировано на примере разработки программ сортировки.
