“Сompilations Method and Semantic Verification Time Parameterized of Multiparallel Programs”. 2017. Computer Science and Cybersecurity, no. 4 (March): 26-34. https://periodicals.karazin.ua/cscs/article/view/8264.