, . / . . Technical Report . Proceedings of the () () , , Lecture Notes in Computer Science , Springer-Verlag. . (). (). . . . .