1. Tolstoluzka O., Tolstoluzkiy D., Moroz O. Сompilations method and semantic verification time parameterized of multiparallel programs // Computer Science and Cybersecurity. 2017. № 4. C. 26-34.