С. Голуб and В. Салапатов, “TECHNOLOGY OF CREATING RELIABLE PROGRAMS”, SWJ, vol. 1, no. 18-01, pp. 106–110, Mar. 2023.