“Сompilations method and semantic verification time parameterized of multiparallel programs” (2017) Computer Science and Cybersecurity, (4), pp. 26–34. Available at: https://periodicals.karazin.ua/cscs/article/view/8264 (Accessed: 24 October 2026).