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