ПРОГРАММА ДЛЯ МОДЕЛИРОВАНИЯ И АНАЛИЗА ЕСТЕСТВЕННЫХ РАССУЖДЕНИЙ // Comput. Tools Educ. St. Petersburg, Russia, 1998. № 2.