КОМПЬЮТЕРНАЯ ПОДДЕРЖКА КУРСА ВЫСШЕЙ МАТЕМАТИКИ В СРЕДЕ "VERIFIER" // Comput. Tools Educ. Санкт-Петербург, Россия, 2000. № 1.