КОСТИРКО, ВАСИЛЬ, et al. «ПРОЄКТУВАННЯ БІБЛІОТЕКИ ДЛЯ СПРОЩЕННЯ УМОВ ВЕРИФІКАЦІЇ ПРОГРАМ». Herald of Khmelnytskyi National University. Technical Sciences, вип. 321, вип. 3, Червень 2023, с. 273-9, https://doi.org/10.31891/2307-5732-2023-321-3-273-279.