MOROZ, O. 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.