Богданов, М. (2014) «Автоматизация проверки решения задачи по формальному описанию ее условия.», Компьютерные инструменты в образовании, 0(4). доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1026 (просмотрено: 18май2024).