Кулик, Б. ПРОГРАММА ДЛЯ МОДЕЛИРОВАНИЯ И АНАЛИЗА ЕСТЕСТВЕННЫХ РАССУЖДЕНИЙ. CTE 2013.