Акуловский, В.Г.; Дорошенко, А.Е.
(Проблеми програмування, 2014)
Продемонстрирована (в самом общем случае) возможность согласованного описания потоков управления, данных и информационных связей в процессе разработки алгоритмов средствами трехосновной алгебраической системы (алгебры ...