O. Moroz, “Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems”, МІА, vol. 56, pp. 43-50, Dec. 2022.