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