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