“Сompilations method and semantic verification time parameterized of multiparallel programs”, CS&CS E-journal, no. 4, pp. 26–34, Mar. 2017, Accessed: Oct. 24, 2026. Available: https://periodicals.karazin.ua/cscs/article/view/8264