2017. Сompilations method and semantic verification time parameterized of multiparallel programs. Computer Science and Cybersecurity. 4 (Mar. 2017), 26–34.