Рихальський, О. Ю. «МЕТОДИ ПІДВИЩЕННЯ КОРЕКТНОСТІ ТА БЕЗПЕЧНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ: СУЧАСНИЙ ФУНКЦІОНАЛ КОМПІЛЯТОРІВ ТА ІНШІ ПІДХОДИ». Таврійський науковий вісник. Серія: Технічні науки, no. 2 (Травень 29, 2025): 155-170. дата звернення Липень 5, 2025. http://journals.ksauniv.ks.ua/index.php/tech/article/view/881.