Doroshenko, A. .; Яценко, О. . Formal Methods of Parallel Software Design Automation. Dopov. Nac. akad. nauk Ukr. 2024, 15-20.