ГЕЙКО, Олег, і Іван ВАРАВА. «ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ». Інформаційні технології та суспільство, no. 2 (13) (Серпень 13, 2024): 17-25. дата звернення Квітень 4, 2025. http://journals.maup.com.ua/index.php/it/article/view/3934.