О. ГЕЙКО і І. ВАРАВА, «ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ», info-tech, вип. 2 (13), с. 17-25, Сер 2024.