КОМПЬЮТЕРНАЯ ПОДДЕРЖКА КУРСА ВЫСШЕЙ МАТЕМАТИКИ В СРЕДЕ "VERIFIER" // Comput. Tools Educ. St. Petersburg, Russia, 2000. № 1.