ПРОГРАММА ДЛЯ МОДЕЛИРОВАНИЯ И АНАЛИЗА ЕСТЕСТВЕННЫХ РАССУЖДЕНИЙ // Comput. Tools Educ. Санкт-Петербург, Россия, 1998. № 2.