O. Moroz and O. Tolstoluzka, “Using the methods of formal synthesis and verification of parallel time-parameterized models for solving the system of linear equations by Gaussian elimination”, МІА, vol. 52, pp. 52-70, Nov. 2021.