«Від математичної логіки до мов програмування штучного інтелекту», CS&CS E-journal, вип. 1, с. 40–52, Квіт 2017, дата звернення: Жов 24, 2026. доступний у: https://periodicals.karazin.ua/cscs/article/view/8306