«КОМПЬЮТЕРНАЯ ПОДДЕРЖКА КУРСА ВЫСШЕЙ МАТЕМАТИКИ В СРЕДЕ „VERIFIER“», Comput. Tools Educ., вып. 1, фев. 2000, просмотрено: окт. 25, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/556