Мелентьев, В., 2021. ФОРМАЛЬНЫЙ МЕТОД СИНТЕЗА ОПТИМАЛЬНЫХ ТОПОЛОГИЙ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ, ОСНОВАННЫЙ НА ПРОЕКТИВНОМ ОПИСАНИИ ИХ ГРАФОВ.. https://doi.org/10.24108/preprints-3112168