РИХАЛЬСЬКИЙ, Олексій. «ЗВУЖЕННЯ ОБЛАСТЕЙ ВИЗНАЧЕННЯ, ЯК ШЛЯХ ДО ПІДВИЩЕННЯ КОРЕКТНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ». ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ, no. 1 (Лютий 27, 2025): 362–372. дата звернення Квітень 18, 2026. https://vottp.khmnu.edu.ua/index.php/vottp/article/view/495.