KOSTYRKO, VASYL, et al. “DESIGNING A LIBRARY TO SIMPLIFY PROGRAM VERIFICATION CONDITIONS”. Herald of Khmelnytskyi National University. Technical Sciences, vol. 321, no. 3, June 2023, pp. 273-9, https://doi.org/10.31891/2307-5732-2023-321-3-273-279.