View Труды Института Системного Программирования Ран Том 8 Часть 2 2004 Г 2004