Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems», v. 56, p. 43–50, 26 Dec.2022.