O. Tolstoluzka, D. Tolstoluzkiy, and O. Moroz, “Сompilations method and semantic verification time parameterized of multiparallel programs”, CS&CS E-journal, no. 4, pp. 26-34, Mar. 2017.