ИНСТРУМЕНТ ДЛЯ ВЫЧИСЛЕНИЙ В ТЕОРЕТИЧЕСКОЙ ИНФОРМАТИКЕ // Comput. Tools Educ. St. Petersburg, Russia, 2004. № 5.