1. Kosovskaya T. An Approach to the Construction of a Level Description of Classes by Means of a Predicate Calculus Language // SPIIRAS Proceedings. 2014. № 34 (3). C. 204-217.