Tolstoluzka, O.; Tolstoluzkiy, D.; Moroz, O. Сompilations Method and Semantic Verification Time Parameterized of Multiparallel Programs. CS&CS E-journal 2017, 26-34.