РИХАЛЬСЬКИЙ, О. ЗВУЖЕННЯ ОБЛАСТЕЙ ВИЗНАЧЕННЯ, ЯК ШЛЯХ ДО ПІДВИЩЕННЯ КОРЕКТНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ 2025, 362-372.