TOLSTOLUZKA, O.; TOLSTOLUZKIY, D.; MOROZ, O. Сompilations method and semantic verification time parameterized of multiparallel programs. Computer Science and Cybersecurity, n. 4, p. 26-34, 26 Mar. 2017.