L. B. Sokolinsky and I. M. Sokolinskaya, “VaLiPro: Linear Programming Validator for Cluster Computing Systems”, superfri, vol. 8, no. 3, pp. 51–61, Oct. 2021.