Федотов, В. ИНСТРУМЕНТ ДЛЯ ВЫЧИСЛЕНИЙ В ТЕОРЕТИЧЕСКОЙ ИНФОРМАТИКЕ. CTE 2014.