Tolstoluzka, O., D. Tolstoluzkiy, and O. Moroz. “Сompilations Method and Semantic Verification Time Parameterized of Multiparallel Programs”. Computer Science and Cybersecurity, no. 4, Mar. 2017, pp. 26-34, https://periodicals.karazin.ua/cscs/article/view/8264.