Tolstoluzka, O., Tolstoluzkiy, D. and Moroz, O. 2017. Сompilations method and semantic verification time parameterized of multiparallel programs. Computer Science and Cybersecurity. 4 (Mar. 2017), 26-34.