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